Theorem Nat.isLeast_nth_of_lt_card

Modification history