Skip to content

Companion torus_filtration_20261011: C254 torus-quotient and closed-superlevel modules plus the C263 SuperlevelBar and C264 OrdinaryH0 successors and the C264 item-4 ordinary-H0 fixtures, compiled at the pin (isolated Lean companion; C263/C264 FORMAL HOLD) - #428

Merged
d6g8k5htny-coder merged 6 commits into
mainfrom
claude/c254-torus-filtration-20261011
Oct 12, 2026
Merged

Companion torus_filtration_20261011: C254 torus-quotient and closed-superlevel modules plus the C263 SuperlevelBar and C264 OrdinaryH0 successors and the C264 item-4 ordinary-H0 fixtures, compiled at the pin (isolated Lean companion; C263/C264 FORMAL HOLD)#428
d6g8k5htny-coder merged 6 commits into
mainfrom
claude/c254-torus-filtration-20261011

Commits

  1. Commits on Oct 11, 2026

  2. Commits on Oct 12, 2026