Default Branch

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

Branches

b16f14fdfd · Lean migration: typeclass-based parameter passing, as in the Agda original · Updated 2026-06-10 06:32:38 +00:00    DanilaFe

0
41

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

0
33