Theorem Nat.card_of_isEmpty

Modification history