Commit 2026-02-10 16:30 e0c01c23
View on Github →feat(Order/CompleteLattice/Defs): to_dual for CompleteSemilattices (#33765)
This PR uses to_dual for CompleteSemilatticeSup and CompleteSemilatticeInf. These will need to be refactored/deprecated in the future, but I think it makes sense to make the code smaller (using to_dual) before such a refactor.