Theorem OrdinalApprox.gfp_mem_range_gfpApprox

Modification history