Theorem OrdinalApprox.lfpApprox_eq_of_mem_fixedPoints

Modification history