`BookProof.ChapterFreeFieldBornFiberBounds.posSupport_card_le_n` {p : Fin n → ℝ} : (posSupport p).card ≤ n

Initializing...

`BookProof.ChapterFreeFieldBornFiberBounds.posSupport_card_le_n` {p : Fin n → ℝ} : (posSupport p).card ≤ n · Prove2Me