An equidistribution conjecture for quotient-closed and submodule-closed subcategories
A fresh representation-theory preprint with several proved cases, a linked full Lean 4 formalization and an unusually explicit account of the human and AI collaboration. It remains a preprint, not peer review or a proof of the full conjecture.
Sources
Source 1 of 1
arXiv:2608.18024
arxiv.org
A fresh representation-theory preprint with several proved cases, a linked full Lean 4 formalization and an unusually explicit account of the human and AI collaboration.
Open originalSummary
It remains a preprint, not peer review or a proof of the full conjecture.
- 01arXiv:2608.18024