Mathlib v3 is deprecated. Go to Mathlib v4

Def group.closure

Modification history

2020-06-01 23:39

src/deprecated/subgroup.lean

chore(group_theory/sub*): move unbundled submonoids and subgroups to `deprecated` (#2912) …

Modified group.closure View on Github →

2020-02-14 00:07

src/group_theory/subgroup.lean

chore(group_theory/sub*) : rename type vars (#1982) …

Modified group.closure View on Github →

2018-04-11 15:17

group_theory/subgroup.lean

feat(group_theory): add group.closure, the subgroup generated by a set

Added group.closure View on Github →