Theorem OrdinalApprox.le_lfpApprox

Modification history