`BookProof.ChapterLogPartitionConvex.strictConvexOn_logPartition` {s : Fin m → ℝ} {a b : Fin m} (hab : s a ≠ s b) : StrictConvexOn ℝ Set.univ fun c : ℝ => logPartition c s

Initializing...

`BookProof.ChapterLogPartitionConvex.strictConvexOn_logPartition` {s : Fin m → ℝ} {a b : Fin m} (hab : s a ≠ s b) : StrictConvexOn ℝ Set.univ fun c : ℝ => logPartition c s · Prove2Me