Theorem Commensurable.commensurator'_mem_iff

Modification history

2025-09-25 05:05
Mathlib/GroupTheory/Commensurable.lean
feat(GroupTheory/Commensurable): additivize (#29707) …
Deleted Commensurable.commensurator'_mem_iffView on Github →
2023-02-15 04:55
Mathlib/GroupTheory/Commensurable.lean
feat: port GroupTheory.Commensurable (#2293)
Added Commensurable.commensurator'_mem_iffView on Github →