Theorem Cardinal.nat_coe_dvd_iff

Modification history

2026-10-23 15:44
Mathlib/SetTheory/Cardinal/Divisibility.lean
chore: rename `coe_nat`/`nat_cast` lemmas to `natCast` (#44825) …
Deleted Cardinal.nat_coe_dvd_iffView on Github →
2023-02-24 10:36
Mathlib/SetTheory/Cardinal/Divisibility.lean
feat: Port SetTheory.Cardinal.Divisibility (#2473)
Added Cardinal.nat_coe_dvd_iffView on Github →