Theorem Nat.count_le_cardinal

Modification history