mathlib
2ad4a4ce - chore(group_theory/subgroup,logic/nontrivial): golf (#6934)

Commit

4 years ago

chore(group_theory/subgroup,logic/nontrivial): golf (#6934)

Author

urkud

urkud

Parents

Loading