Theorem OrdinalApprox.gfpApprox_mono_left

Modification history

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