Theorem dist_inf_sup

Modification history

2026-10-02 10:03
Mathlib/Analysis/Normed/Order/UpperLower.lean
feat(Analysis/Normed/Order): generalize distance lemmas to solid norms (#44072) …
Added dist_inf_supView on Github →