Theorem Cardinal.le_of_dvd

Modification history

2026-03-26 11:10
Mathlib/SetTheory/Cardinal/Divisibility.lean
feat: generalize `Ordinal` theorems to `SuccAddOrder` (#37132) …
Modified Cardinal.le_of_dvdView on Github →
2023-02-24 10:36
Mathlib/SetTheory/Cardinal/Divisibility.lean
feat: Port SetTheory.Cardinal.Divisibility (#2473)
Added Cardinal.le_of_dvdView on Github →