Theorem Fin.card_fintypeIoi

Modification history