`BookProof.ChapterFreeFieldBornCont.continuous_bornMap` : Continuous (bornMap : EuclideanSpace ℝ (Fin n) → (Fin n → ℝ))

Initializing...

`BookProof.ChapterFreeFieldBornCont.continuous_bornMap` : Continuous (bornMap : EuclideanSpace ℝ (Fin n) → (Fin n → ℝ)) · Prove2Me