Theorem Fin.finsetImage_val_Ioi

Modification history