Theorem Subsemigroup.mem_centralizer_iff

Modification history

2023-01-02 20:39
Mathlib/GroupTheory/Subsemigroup/Centralizer.lean
feat: port GroupTheory.Subsemigroup.Centralizer (#1286) …
Added Subsemigroup.mem_centralizer_iffView on Github →