Mathlib v3 is deprecated. Go to Mathlib v4

Theorem add_monoid.image_closure

Modification history

2019-08-21 05:42

src/group_theory/submonoid.lean

refactor(*): rewrite `to_additive` attribute (#1345) …

Deleted add_monoid.image_closure View on Github →

2019-05-21 21:29

src/group_theory/submonoid.lean

feat(*): image_closure (#1069) …

Added add_monoid.image_closure View on Github →