Theorem Fin.finsetImage_castLE_Ioo

Modification history