mathlib

8e329766 - chore(analysis/locally_convex/balanced_core_hull): relax typeclasses on one lemma