Theorem Fin.finsetImage_castSucc_Iic

Modification history