Theorem Fin.finsetImage_val_Iic

Modification history