mathlib
ae33fb09 - feat(group_theory/submonoid/operations): add eq_top_iff' (#6536)

Commit

5 years ago

feat(group_theory/submonoid/operations): add eq_top_iff' (#6536)

Author

kbuzzard

kbuzzard

Parents

Loading