Theorem Fin.card_Iic

Modification history