`BookProof.ChapterFreeFieldBornCont.isCompact_stdSimplex_of_born` : IsCompact (stdSimplex ℝ (Fin n))

Initializing...

`BookProof.ChapterFreeFieldBornCont.isCompact_stdSimplex_of_born` : IsCompact (stdSimplex ℝ (Fin n)) · Prove2Me