PR #13480: feat(analysis/convex/uniform): Uniformly conve...

Stream: triage

[Random Issue Bot]

Today I chose PR 13480 for discussion!

feat(analysis/convex/uniform): Uniformly convex spaces
Created by @Yaël Dillies (@YaelDillies) on 2022-04-16
Labels: awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

Mergeable as is but will become a bit nicer once I define the modulus of convexity