Seminorm tvs#1963

Draft

mkerjean wants to merge 48 commits into

math-comp:masterfrom

mkerjean:seminorm_tvs

Commits on May 2, 2026

Hahn-Banach theorem

mkerjean
authored and
affeldt-aist
committed
minor linting
affeldt-aist
committed
definition of sub normed module
affeldt-aist
committed
todo

mkerjean
authored and
affeldt-aist
committed
subNormedModType factory

mkerjean
authored and
affeldt-aist
committed
subNormedModType

mkerjean
authored and
affeldt-aist
committed
fail subconvextvs

mkerjean
authored and
affeldt-aist
committed
clean

mkerjean
authored and
affeldt-aist
committed
filter by hand (still broken)
affeldt-aist
committed
instances instead of factories

mkerjean
authored and
affeldt-aist
committed
subConvexTvsType at last
affeldt-aist
committed
proofs

mkerjean
authored and
affeldt-aist
committed
proofs

mkerjean
authored and
affeldt-aist
committed
proofs

mkerjean
authored and
affeldt-aist
committed
proofs

mkerjean
authored and
affeldt-aist
committed
proofs

mkerjean
authored and
affeldt-aist
committed
simplification of add_sub
affeldt-aist
committed
base convexe wip

mkerjean
authored and
affeldt-aist
committed
base convexe wip

mkerjean
authored and
affeldt-aist
committed
base convexe wip

mkerjean
authored and
affeldt-aist
committed
missing join ?

mkerjean
authored and
affeldt-aist
committed
sub locally convex

mkerjean
authored and
affeldt-aist
committed
lint
affeldt-aist
committed
fix
affeldt-aist
committed
upd changelog (wip)
affeldt-aist
committed
fix changelog
affeldt-aist
committed

Commits on May 3, 2026

Commits on May 4, 2026

Commits on May 5, 2026

Commits on May 7, 2026

Commits on May 8, 2026

gauge
mkerjean
committed
gauge
mkerjean
committed

Commits on May 9, 2026

gauge
mkerjean
committed

Commits on May 10, 2026

seminorm
mkerjean
committed
seminorm
mkerjean
committed

Commits on May 13, 2026