Theorem Cardinal.exists_nat_eq_of_le_nat

Modification history