Theorem Fin.finsetImage_val_Ioc

Modification history