Default Branch

f5457d8841 · Move proof of least element into FiniteHeightLattice · Updated 2025-07-26 11:16:22 +00:00

Branches

904f6375be · Consolidate per-operator trace lifting into GGraph.Embed + Trace.embed · Updated 2026-07-02 20:06:40 +00:00    DanilaFe

0
106

1c2bcc2d92 · Require bottom element to actually be bottom; finish proof · Updated 2026-02-17 04:15:10 +00:00    DanilaFe

0
33