mathlib3
6353d6b2 - chore(*): more assorted proof simplifications (#10863)

Commit

4 years ago

chore(*): more assorted proof simplifications (#10863) A few more random small golfs found by linters

Author

alexjbest

Parents