TY - RPRT TI - The finite basis problem for all subvarieties of the variety $\mathsf{V}(S^0_7)$ AU - Mengya Yue PY - 2026 UR - https://arxiv.org/abs/2609.25823 ID - 2609.25823 ER -