Theorem Monotone.map_min

Modification history

2026-02-22 13:15
Mathlib/Order/MinMax.lean
chore(Order/SuccPred/Archimedean): use `to_dual` (#34882)
Deleted Monotone.map_minView on Github →
2022-11-26 03:55
Mathlib/Order/MinMax.lean
feat: port order.minmax (#728) …
Added Monotone.map_minView on Github →