Commit 2025-02-07 13:37 86161087
View on Github →feat(Order/Nucleus): nuclei form a complete lattice (#21515)
Arbitrary meets of nuclei can be defined pointwise. Joins are harder to describe explicitely, so completeLatticeOfCompleteSemilatticeInf is used to create the CompleteLattice instance.