mathlib
3f575d72 - feat(group_theory/subgroup) top is a normal subgroup (#4982)

Commit

5 years ago

feat(group_theory/subgroup) top is a normal subgroup (#4982)

Author

alexjbest

alexjbest

Parents

Loading