Theorem compl_le

Modification history

2025-08-25 19:30
Mathlib/Order/Basic.lean
chore(Order): remove unnecessary tactic invocations (#28746)
Modified compl_leView on Github →
2024-10-24 11:47
Mathlib/Order/Basic.lean
feat: `swap` and `compl` of order relations (#18045)
Added compl_leView on Github →