Theorem Fin.castSucc_fin_succ

Modification history