Theorem Nat.nth_le_nth_of_lt_card

Modification history