Theorem Set.div_mem_center₀

Modification history

2025-02-01 09:03

Mathlib/Algebra/GroupWithZero/Center.lean

chore: delete declarations deprecated between 2024-01 and 2024-07 (#21271) …

Deleted Set.div_mem_center₀ View on Github →

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 →