Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.le_closure_to_submonoid

Modification history

2022-10-12 07:21

src/group_theory/subgroup/basic.lean

feat(group_theory/subgroup/basic): add some trivial lemmas (#16915) …

Added subgroup.le_closure_to_submonoid View on Github →