`BookProof.ChapterFreeFieldBornFiberTwo.posSupport_nonempty` {p : Fin n → ℝ} (hp : p ∈ stdSimplex ℝ (Fin n)) : (posSupport p).Nonempty

Initializing...

`BookProof.ChapterFreeFieldBornFiberTwo.posSupport_nonempty` {p : Fin n → ℝ} (hp : p ∈ stdSimplex ℝ (Fin n)) : (posSupport p).Nonempty · Prove2Me