Theorem Fin.finsetImage_val_Ici

Modification history