mathlib
7e532030 - chore(group_theory/submonoid/operations): golf a few proofs (#9948)

Commit

4 years ago

chore(group_theory/submonoid/operations): golf a few proofs (#9948)

Author

urkud

urkud

Parents

Loading