Theorem Ordinal.mul_le_iff_le_div

Modification history

2026-02-27 10:47
Mathlib/SetTheory/Ordinal/Arithmetic.lean
refactor: nicer definition for ordinal division (#35849) …
Added Ordinal.mul_le_iff_le_divView on Github →