Theorem OrdinalApprox.exists_lfpApprox_eq_lfpApprox

Modification history