Mathlib v3 is deprecated. Go to Mathlib v4

Theorem additive.is_add_submonoid

Modification history

2020-06-01 23:39

src/deprecated/submonoid.lean

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

Modified additive.is_add_submonoid View on Github →

2020-03-18 21:14

src/group_theory/submonoid.lean

chore(*): switch to lean 3.7.1c (#2106) …

Added additive.is_add_submonoid View on Github →