feat: face lattice of a polytope is graded by the dimension of the face - #108

feat: face lattice of a polytope is graded by the dimension of the face#108

vlad902 wants to merge 2 commits into

ooovi:mainooovi/Polyhedral:mainfrom

Workshop-Polyhedra-In-Lean:grading-by-affine-dimensionWorkshop-Polyhedra-In-Lean/Polyhedral:grading-by-affine-dimensionCopy head branch name to clipboard