Theorem Nat.le_nth_of_count_le

Modification history