Theorem Order.IsNormal.le_iff_forall_le

Modification history

2025-04-03 11:14
Mathlib/Order/IsNormal.lean
feat: generalize normal functions (#20504) …
Added Order.IsNormal.le_iff_forall_leView on Github →