Theorem Subsemigroup.coe_centralizer

Modification history

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