mathlib
34b61e3d - chore(algebra/regular/*): generalisation linter (#13955)

Commit

3 years ago

chore(algebra/regular/*): generalisation linter (#13955)

Author

ericrbg

ericrbg

Parents

Loading