Theorem Num.cast_succ

Modification history