Theorem Num.toZNum_succ

Modification history