Skip to content

feat(LinearAlgebra/ConvexSpace): StdSimplex bind operation - #38758

Closed
TBUGTB wants to merge 4 commits into
leanprover-community:masterfrom
TBUGTB:stdsimplex-api
Closed

feat(LinearAlgebra/ConvexSpace): StdSimplex bind operation#38758
TBUGTB wants to merge 4 commits into
leanprover-community:masterfrom
TBUGTB:stdsimplex-api

Commits

Commits on Apr 30, 2026

Commits on May 1, 2026