Theorem min_ne_bot

Modification history

2025-12-26 18:30
Mathlib/Order/BoundedOrder/Lattice.lean
refactor(Order/BoundedOrder/Lattice): use `to_dual` (#33268) …
Added min_ne_botView on Github →