Theorem Fin.card_fintypeIco

Modification history