Theorem Fin.succ_apply

Modification history