Commit 2026-10-01 14:00 26804a9f
View on Github →fix(Order/Heyting/Regular): fix Lattice instance diamond (#41776)
This PR fixes a diamond in the Lattice instance on Regular.
It's a bit awkward that Lattice does not extend Min, so fast_instance% doesn't save us here.