mathlib3
cc406db0 - feat(algebra/ring/basic): generalisation linter suggestions (#13649)

Commit

3 years ago

feat(algebra/ring/basic): generalisation linter suggestions (#13649)

Author

ericrbg

ericrbg

Parents

Loading