Repository navigation

Import order continuity for free p-convex Banach lattices - #810

Open

Vilin97 wants to merge 9 commits into

mainfrom

codex/import-fbl-order-continuity-20261113

Open

Import order continuity for free p-convex Banach lattices#810
Vilin97 wants to merge 9 commits into
mainfrom
codex/import-fbl-order-continuity-20261113

Commits on Nov 13, 2026
- Import order continuity of free Banach lattice homomorphisms
  Vilin97
  committed
  9d41e1c
- Optimize free-lattice elaboration and complete project lint cleanup
  Vilin97
  committed
  a0b51d6
- Reuse bounded extensions and scaled-family estimates
  Vilin97
  committed
  093d664
- Derive endpoint inclusions and abstract target estimates
  Vilin97
  committed
  8fbd1b5
- Make extension and bidual profile inference explicit
  Vilin97
  committed
  6911352
- Reuse BanLat lemmas and unify support functions
  Vilin97
  committed
  3760076
- Reuse symmetric norm and induced isometry proofs
  Vilin97
  committed
  ddfe70a
- Reuse imported evaluation and projection maps
  Vilin97
  committed
  c412ce1
- Share induced maps and dual finite lattice formulas
  Vilin97
  committed
  cb96c50