Theorem Nat.lt_of_nth_lt_nth_of_lt_card

Modification history