Theorem OrdinalApprox.lfpApprox_mono_mid

Modification history

2024-09-26 02:42
Mathlib/SetTheory/Ordinal/FixedPointApproximants.lean
feat: monotonicity lemmas for OrdinalApprox (#15522) …
Added OrdinalApprox.lfpApprox_mono_midView on Github →