Theorem OrdinalApprox.gfpApprox_add_one

Modification history