Theorem Fin.finsetImage_castSucc_Ici

Modification history