The Grünbaum property for the standard simplex

theorem Feige.simplexCentroidHalfspaceProperty_fin_succ (d : ℕ) : SimplexCentroidHalfspaceProperty

The α = 0 Grünbaum case of Theorem 2.2 supplies the strict upper-halfspace property required by the δ = 1 Feige reduction in every positive dimension.

theorem Feige.simplexCentroidHalfspaceProperty_fin {n : ℕ} (hn : 0 < n) : SimplexCentroidHalfspaceProperty

Positive-dimensional form with the dimension supplied as an arbitrary positive natural number.