Theorem Fin.finsetImage_castSucc_Icc

Modification history