Theorem le_of_forall_ge

Modification history

2025-04-06 17:49

Mathlib/Order/Basic.lean

chore(Order/Basic): order lemmas according to `Preorder`/`PartialOrder`/`LinearOrder` (#23624) …

Modified le_of_forall_ge View on Github →

2025-01-30 18:56

Mathlib/Order/Basic.lean

feat: iff version of `le_of_forall_le` (#21264) …

Added le_of_forall_ge View on Github →