mathlib3
0b52522e - feat(test/integration): update with new examples (#7105)

Commit

4 years ago

feat(test/integration): update with new examples (#7105) Add examples made possible by #6787, #6795, #7010.

Author

benjamindavidson

Parents