Theorem Nat.card_fintypeIoc

Modification history