mathlib3
b7a3d4e1 - feat(test/integration): improve an example (#7169)

Commit

4 years ago

feat(test/integration): improve an example (#7169) With #7103, I am able to improve one of my examples.

Author

benjamindavidson

Parents