Theorem monoid_hom.gclosure_preimage_le
Modification history
2022-11-29 12:34
src/group_theory/subgroup/basic.lean
feat(group_theory/subgroup/basic): generalize `monoid_hom.eq_locus` (#17748) …
Deleted monoid_hom.gclosure_preimage_leView on Github →