Theorem Fin.castIso_succ_eq

Modification history