Theorem toDual_min

Modification history

2025-12-24 12:03

Mathlib/Order/Lattice.lean

feat(Order/Lattice): use `@[to_dual]` (#33142) …

Deleted toDual_min View on Github →

2022-11-25 17:46

Mathlib/Order/Lattice.lean

feat: port Order.Lattice (#642) …

Added toDual_min View on Github →