mathlib3
735a26e5 - chore(group_theory): some new convenience lemmas (#7555)

Commit

4 years ago

chore(group_theory): some new convenience lemmas (#7555) from LTE

Author

PatrickMassot

PatrickMassot

Parents

Loading