Commit 2026-03-02 16:30 5cae2dd4
View on Github →chore: make CompleteLattice helpers instance reducible (#35903) These functions are used to help define instances so should be implicit_reducible to avoid diamonds without requiring every user to override the PartialOrder and InfSet parents.