Theorem Cardinal.dvd_of_le_of_aleph0_le

Modification history

2026-10-27 21:33
Mathlib/SetTheory/Cardinal/Arithmetic.lean
chore(SetTheory/Cardinal/Divisibility): golf file (#44013) …
Modified Cardinal.dvd_of_le_of_aleph0_leView on Github →
2023-02-24 10:36
Mathlib/SetTheory/Cardinal/Divisibility.lean
feat: Port SetTheory.Cardinal.Divisibility (#2473)
Added Cardinal.dvd_of_le_of_aleph0_leView on Github →