Theorem Fin.finsetImage_castLE_Iic

Modification history