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