Theorem OrdinalApprox.lfpApprox_le_of_mem_fixedPoints

Modification history