mathlib3
aff4669b - feat(group_theory/subgroup): add closure_eq_bot_iff (#5055)

Commit

5 years ago

feat(group_theory/subgroup): add closure_eq_bot_iff (#5055) Add missing lemma

Author

kbuzzard

kbuzzard

Parents

Loading