Commit 0bb9155

committed

chore(Order/Hom/BoundedLattice): use to_dual (#36356)

1 parent 1727ba1 commit 0bb9155Copy full SHA for 0bb9155

1 file changed

+66

-274

lines changed

Mathlib/Order/Hom
- BoundedLattice.lean

1 file changed

+66

-274

lines changed

Comments

(0)