Theorem OrdinalApprox.lfpApprox_mem_fixedPoints_of_eq

Modification history