Theorem Fin.finsetImage_rev_Ioc

Modification history