χTopic tag
1 document indexed here. Mathematical objects, methods, systems, and recurring technical questions.
W5 promotes T-L1-F, SCC's first multi-formation Cat A theorem. It adds the hard-count bridge, drafts the L1-M soft-count companion, registers two HIGH open problems, and documents the T-σ-Theorem-4 demotion.