Theorem Fin.card_Ioo

Modification history