Theorem Cardinal.toNat_eq_iff_of_lt_aleph0

Modification history

2026-03-20 18:13
Mathlib/SetTheory/Cardinal/ToNat.lean
feat(RingTheory): some lemma about span rank (#35337) …
Added Cardinal.toNat_eq_iff_of_lt_aleph0View on Github →