`BookProof.ChapterFreeFieldBornCont.continuous_bornSection` : Continuous (bornSection : (Fin n → ℝ) → EuclideanSpace ℝ (Fin n))

Initializing...

`BookProof.ChapterFreeFieldBornCont.continuous_bornSection` : Continuous (bornSection : (Fin n → ℝ) → EuclideanSpace ℝ (Fin n)) · Prove2Me