Repository navigation

Import stability of matter and the kinetic Lieb–Thirring inequality - #641

Merged

Vilin97 merged 6 commits into

mainfrom

codex/daily-stability-of-matter-20261012

Oct 12, 2026

Merged

Import stability of matter and the kinetic Lieb–Thirring inequality#641
Vilin97 merged 6 commits into
mainfrom
codex/daily-stability-of-matter-20261012

Commits on Oct 12, 2026
- feat: import stability of matter and Lieb-Thirring theory
  Vilin97
  committed
  6c01248
- refactor: share directed nuclear pair counting proof
  Vilin97
  committed
  3e4c6a0
- refactor: generalize tensor maps and share currying transport
  Vilin97
  committed
  8014b63
- refactor: share state permutation transport and generalize tensor lemmas
  Vilin97
  committed
  4880944
- refactor: generalize conditional kinetic inequality
  Vilin97
  committed
  117979b
- refactor: share symmetric finite-sum counting lemma
  Vilin97
  committed
  1a780d4