Repository navigation
Research note: E6 Gram point locally rigid among rank-6 realisations; D5 non-Gram 16-parameter family, and every rank-≤5 D5 realisation keeps floor 20 (#2277 OQ4, no κ claim) - #2450
Merged
Mister-Meeseeks merged 3 commits intoOct 15, 2026
Commits
Commits on Oct 15, 2026
- andcommitted
- andcommitted
- andcommitted