Theorem Fin.card_fintypeIio

Modification history