Theorem max_commutative
Modification history
2025-03-17 06:31
Mathlib/Deprecated/MinMax.lean
chore: delete more `Deprecated` files (#22485) …
Deleted max_commutativeView on Github →2024-10-15 23:21
Mathlib/Deprecated/MinMax.lean
chore: move `Init.Logic` and its remaining dependencies to `Deprecated` (#17771) …
Modified max_commutativeView on Github →