Theorem Monoid.CoprodI.lift_mrange_le

Modification history

2024-04-24 13:42
Mathlib/GroupTheory/CoprodI.lean
feat(GroupTheory): add lemmas about `Submonoid.closure` and `CoprodI` (#12391) …
Modified Monoid.CoprodI.lift_mrange_leView on Github →
2023-07-31 14:06
Mathlib/GroupTheory/CoprodI.lean
refactor: rename `FreeProduct` to `Monoid.CoprodI` (#6055)
Added Monoid.CoprodI.lift_mrange_leView on Github →