Theorem OrderDual.ext

Modification history

2026-03-12 18:27
Mathlib/Order/OrderDual.lean
chore(Order/OrderDual): move material on `OrderDual` (#35150) …
Modified OrderDual.extView on Github →
2025-08-12 05:09
Mathlib/Order/Synonym.lean
feat(Order/Sublocale): definition of sublocales (#25089) …
Added OrderDual.extView on Github →