Theorem Fin.finsetImage_castLE_Ioc

Modification history