Theorem Ordinal.le_of_dvd

Modification history

2026-05-13 09:39

Mathlib/SetTheory/Ordinal/Arithmetic.lean

feat(SetTheory/Ordinal/Arithmetic): a few ordinal division lemmas (#36840)

Modified Ordinal.le_of_dvd View on Github →

2023-02-16 08:59

Mathlib/SetTheory/Ordinal/Arithmetic.lean

feat: port SetTheory.Ordinal.Arithmetic (#2271)

Added Ordinal.le_of_dvd View on Github →