Theorem OrdinalApprox.lfpApprox_ord_eq_lfp

Modification history