Theorem Ordinal.mul_div_gc

Modification history

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