mathlib3
e0b2ad8f - chore(algebra/lie/quotient): golf some instances (#14480)

Commit

3 years ago

chore(algebra/lie/quotient): golf some instances (#14480)

Author

eric-wieser

eric-wieser

Parents

Loading