Theorem bihimp_inf_sup

Modification history

2026-08-10 08:17

Mathlib/Order/SymmDiff.lean

chore(Order/SymmDiff): use `to_dual` (#41775) …

Deleted bihimp_inf_sup View on Github →

2022-12-06 00:44

Mathlib/Order/SymmDiff.lean

feat: port Order.SymmDiff (#842) …

Added bihimp_inf_sup View on Github →