mathlib
29d5f110 - chore(algebra/group_with_zero): weaken assumptions in some lemmas (#3630)

Commit

5 years ago

chore(algebra/group_with_zero): weaken assumptions in some lemmas (#3630)

Author

urkud

urkud

Parents

Loading