Repository navigation
Record the characteristic polynomial of the 84-dimensional X_3=+1 subspace - #7068
Open
unpaidmoon wants to merge 1 commit into
Open
unpaidmoon wants to merge 1 commit into
unpaidmoon wants to merge 1 commit into
Commits
Commits on Nov 10, 2026