Repository navigation
Give the closed-form determinant of a residue-field presentation change (no new κ) - #6004
Merged
Mister-Meeseeks merged 2 commits intoOct 28, 2026
background
wait
wait-all
cancel
parallel
Loading