Theorem Fin.succ_castIso_eq

Modification history