Theorem Set.preimage_center_subset

Modification history

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