Theorem Subsemigroup.centralizer_le

Modification history

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