Theorem OrdinalApprox.le_gfpApprox_of_mem_fixedPoints

Modification history