Theorem Fin.finsetImage_castSucc_Ioi

Modification history