`BookProof.ChapterFreeFieldBornSurj.bornSection_apply` (p : Fin n → ℝ) (k : Fin n) : bornSection p k = Real.sqrt (p k)

Initializing...

`BookProof.ChapterFreeFieldBornSurj.bornSection_apply` (p : Fin n → ℝ) (k : Fin n) : bornSection p k = Real.sqrt (p k) · Prove2Me