Experiment : Tvs#1846

Draft

mkerjean wants to merge 17 commits intomath-comp:masterfrom

mkerjean:topdual

Commits on Mar 13, 2026

mv convex

affeldt-aist
authored and
mkerjean
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
rm hahn-banach
mkerjean
committed
test substructures
mkerjean
committed