Theorem Fin.card_Ioc

Modification history