Def Subsemigroup.centralizer

Modification history

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