Theorem Nat.card_preimage_of_injective

Modification history