Theorem AntitoneOn.map_inf

Modification history

2026-03-23 08:24
Mathlib/Order/Lattice.lean
chore(Order/Lattice): use `to_dual` for lemmas about `Monotone` (#37005)
Deleted AntitoneOn.map_infView on Github →
2023-09-28 12:57
Mathlib/Order/Lattice.lean
feat(Data/Set/Intervals/Image): Complete API (#7146) …
Added AntitoneOn.map_infView on Github →