Theorem Commensurable.eq

Modification history

2025-09-25 05:05

Mathlib/GroupTheory/Commensurable.lean

feat(GroupTheory/Commensurable): additivize (#29707) …

Deleted Commensurable.eq View on Github →

2023-02-15 04:55

Mathlib/GroupTheory/Commensurable.lean

feat: port GroupTheory.Commensurable (#2293)

Added Commensurable.eq View on Github →