Theorem Nat.card_fintypeIio

Modification history