Skip to content

feat: homogenization increases (finite) dimension by one - #107

Open
vlad902 wants to merge 2 commits into
ooovi:mainfrom
Workshop-Polyhedra-In-Lean:findim-affinespan-homogenize
Open

vlad902 wants to merge 2 commits into
ooovi:mainfrom
Workshop-Polyhedra-In-Lean:findim-affinespan-homogenize

Martin review feedback

70a4f7d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Oct 1, 2026 in 3m 22s