Theorem DenselyOrdered.dense'

Modification history

2025-12-02 12:55
Mathlib/Order/Basic.lean
chore(Order/Basic): use `@[to_dual]` (#31903) …
Added DenselyOrdered.dense'View on Github →