Strict convexity of the norm

Stream: maths

[Yaël Dillies]

I need the equality case of Cauchy-Schwarz. What do people think of defining strictly convex spaces and uniform spaces?

[Heather Macbeth]

Sorry, what form of the equality case? Have you seen docs#abs_inner_eq_norm_iff and the variants near it?

[Yaël Dillies]

That's enough for our purposes, thanks!