Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submonoid.is_submonoid

Modification history

2022-08-30 11:08

src/deprecated/submonoid.lean

chore(*): bump to lean 3.47.0 (#16252) …

Modified submonoid.is_submonoid View on Github →

2022-03-16 10:05

src/deprecated/submonoid.lean

feat(group_theory/subsemigroup/basic): subsemigroups (#12111) …

Modified submonoid.is_submonoid View on Github →

2021-08-01 17:17

src/deprecated/submonoid.lean

chore(deprecated/*): Make deprecated classes into structures (#8178) …

Added submonoid.is_submonoid View on Github →