Theorem Fin.succ_natAdd

Modification history