`BookProof.ChapterFreeFieldBorn.measurable_bornMap` : Measurable (bornMap : EuclideanSpace ℝ (Fin n) → _)

Initializing...

`BookProof.ChapterFreeFieldBorn.measurable_bornMap` : Measurable (bornMap : EuclideanSpace ℝ (Fin n) → _) · Prove2Me