Theorem Fin.castIso_castSucc

Modification history