Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submonoid.mem_closure_inv

Modification history

2021-10-25 17:43
src/group_theory/submonoid/membership.lean
chore(group_theory/submonoid): move a lemma to reduce imports (#9951) …
Modified submonoid.mem_closure_invView on Github →
2021-04-22 20:22
src/group_theory/submonoid/membership.lean
feat(src/group_theory/subgroup): add closure.submonoid.closure (#7328) …
Added submonoid.mem_closure_invView on Github →