Theorem Subsemigroup.centralizer_univ

Modification history

2023-01-03 22:36
Mathlib/GroupTheory/Subsemigroup/Centralizer.lean
feat: port GroupTheory.Submonoid.Center (#1315) …
Modified Subsemigroup.centralizer_univView on Github →
2023-01-02 20:39
Mathlib/GroupTheory/Subsemigroup/Centralizer.lean
feat: port GroupTheory.Subsemigroup.Centralizer (#1286) …
Added Subsemigroup.centralizer_univView on Github →