Theorem Fin.card_Iio

Modification history