Theorem Monotone.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 Monotone.map_inf View on Github →

2022-11-25 17:46

Mathlib/Order/Lattice.lean

feat: port Order.Lattice (#642) …

Added Monotone.map_inf View on Github →