Experiment : Tvs#1846

Draft

mkerjean wants to merge 16 commits intomath-comp:masterfrom

mkerjean:topdual

Commits on Mar 6, 2026

convex_function generalized

mkerjean
and
affeldt-aist
committed
mv convex
affeldt-aist
committed
LinearContinuous structure
mkerjean
committed
wip duality

CohenCyril
authored and
mkerjean
committed
lcfun_lmodtype and lcfun_topologicaltype
mkerjean
committed
fix

mkerjean
and
affeldt-aist
committed
wip
mkerjean
committed
end lcfun_lmodtype

mkerjean
and
CohenCyril
committed
wip, notations
mkerjean
committed
change name to ConvexTvs and ctvs
mkerjean
committed
wip bornology
mkerjean
committed
copy hahn banach from old branch

affeldt-aist
authored and
mkerjean
committed
update hahn_banach (wip)
mkerjean
committed
clean classical axioms wip
mkerjean
committed
clean axiom choice
mkerjean
committed
convex function generalization wip
mkerjean
committed