Commit 2026-08-19 10:57 580e20a8

View on Github →

chore(Order/LatticeIntervals): use to_dual (#42364)

Estimated changes

added def Lattice.mkDual