Theorem Fin.card_fintypeIcc

Modification history