Theorem convex_hull_affine_basis_eq_nonneg_barycentric
Modification history
2023-02-01 09:29
src/analysis/convex/combination.lean
feat(linear_algebra/affine_space/basis): `reindex` API (#18190) …
Deleted convex_hull_affine_basis_eq_nonneg_barycentricView on Github →