Mathlib v3 is deprecated. Go to Mathlib v4

Def submonoid.of

Modification history

2022-08-30 11:08
src/deprecated/submonoid.lean
chore(*): bump to lean 3.47.0 (#16252) …
Modified submonoid.ofView on Github →
2022-03-16 10:05
src/deprecated/submonoid.lean
feat(group_theory/subsemigroup/basic): subsemigroups (#12111) …
Modified submonoid.ofView on Github →
2021-08-01 17:17
src/deprecated/submonoid.lean
chore(deprecated/*): Make deprecated classes into structures (#8178) …
Modified submonoid.ofView on Github →
2020-06-01 23:39
src/deprecated/submonoid.lean
chore(group_theory/sub*): move unbundled submonoids and subgroups to `deprecated` (#2912) …
Modified submonoid.ofView on Github →
2020-04-01 06:47
src/group_theory/submonoid.lean
refactor(group_theory/submonoid): review API (#2173) …
Added submonoid.ofView on Github →