Theorem Commensurable.trans

Modification history

2025-09-25 05:05

Mathlib/GroupTheory/Commensurable.lean

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

Deleted Commensurable.trans View on Github →

2023-02-15 04:55

Mathlib/GroupTheory/Commensurable.lean

feat: port GroupTheory.Commensurable (#2293)

Added Commensurable.trans View on Github →