Theorem Num.succ_to_nat

Modification history