Theorem Nat.le_of_nth_le_nth_of_lt_card

Modification history