Theorem Monoid.CoprodI.mclosure_iUnion_range_of

Modification history

2024-04-24 13:42
Mathlib/GroupTheory/CoprodI.lean
feat(GroupTheory): add lemmas about `Submonoid.closure` and `CoprodI` (#12391) …
Added Monoid.CoprodI.mclosure_iUnion_range_ofView on Github →