Theorem Nat.exists_lt_card_finite_nth_eq

Modification history