Theorem Fin.card_Ioi

Modification history