Repository navigation
Prove a D-exponent (0,-1) owner index leaves the x1 residual - #7052
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