Theorem Nat.count_nth_of_lt_card_finite

Modification history