Theorem Fin.card_fintypeIci

Modification history