Skip to content

Make the Algebra and Module traits multigrading-capable#268

Open
JoeyBF wants to merge 2 commits into
SpectralSequences:masterfrom
JoeyBF:claude/259-phase1-multigrade
Open

Make the Algebra and Module traits multigrading-capable#268
JoeyBF wants to merge 2 commits into
SpectralSequences:masterfrom
JoeyBF:claude/259-phase1-multigrade

Make Module trait generic over grading (multidegree support)

a6b6947
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
miri
succeeded Jul 13, 2026 in 1m 40s