Def Set.Center

Modification history

2023-01-03 22:36

Mathlib/GroupTheory/Subsemigroup/Center.lean

feat: port GroupTheory.Submonoid.Center (#1315) …

Deleted Set.Center View on Github →

2022-12-31 22:14

Mathlib/GroupTheory/Subsemigroup/Center.lean

feat: port GroupTheory.Subsemigroup.Center (#1278)

Added Set.Center View on Github →