Skip to content

feat: generalized lattices via Submodule.IsLattice' - #93

Open
justus-springer wants to merge 1 commit into
ooovi:mainfrom
Workshop-Polyhedra-In-Lean:lattice-basic
Open

feat: generalized lattices via Submodule.IsLattice'#93
justus-springer wants to merge 1 commit into
ooovi:mainfrom
Workshop-Polyhedra-In-Lean:lattice-basic

Commits

Commits on Sep 3, 2026