Theorem Function.swap_ge

Modification history

2025-03-05 06:23
Mathlib/Logic/Function/Basic.lean
feat: generalize order typeclasses (#22569) …
Modified Function.swap_geView on Github →
2024-10-24 11:47
Mathlib/Logic/Function/Basic.lean
feat: `swap` and `compl` of order relations (#18045)
Added Function.swap_geView on Github →