Theorem Submonoid.map_center_le_center

Modification history

2026-08-18 12:48
Mathlib/GroupTheory/Submonoid/Center.lean
feat(Algebra): `center` map lemmas (#42105) …
Added Submonoid.map_center_le_centerView on Github →