Theorem Fin.finsetImage_castSucc_Ioc

Modification history