Theorem Fin.succ_cast_eq

Modification history