Hahn banach 2026#1889

Draft

mkerjean wants to merge 13 commits intomath-comp:masterfrom

mkerjean:hahn_banach_2026

Commits on Mar 12, 2026

generalization

affeldt-aist
and
Marie Kerjean
committed
fix
affeldt-aist
committed
convex_function generalized

mkerjean
and
affeldt-aist
committed
mv convex
affeldt-aist
committed
simplification
affeldt-aist
committed
fix CI
affeldt-aist
committed
convex -> convex_set
affeldt-aist
committed

Commits on Mar 13, 2026