Theorem Nat.card_eq_of_bijective

Modification history