Theorem Set.div_mem_center₀

Modification history

2024-07-01 09:41

Mathlib/Algebra/Group/Center.lean

chore: move some lemmas to Algebra.GroupWithZero.Center (#13944) …

Modified Set.div_mem_center₀ View on Github →

2024-04-20 06:50

Mathlib/Algebra/Group/Center.lean

chore: refactor to avoid importing Ring for Group topics (#11913) …

Modified Set.div_mem_center₀ View on Github →

2023-01-03 22:36

Mathlib/GroupTheory/Subsemigroup/Center.lean

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

Modified Set.div_mem_center₀ View on Github →

2022-12-31 22:14

Mathlib/GroupTheory/Subsemigroup/Center.lean

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

Added Set.div_mem_center₀ View on Github →