Skip to content

ext_algebra: let the Ext DGA carry a differential and compute cohomology#267

Open
JoeyBF wants to merge 7 commits into
SpectralSequences:masterfrom
JoeyBF:claude/ext-algebra-cohomology
Open

ext_algebra: let the Ext DGA carry a differential and compute cohomology#267
JoeyBF wants to merge 7 commits into
SpectralSequences:masterfrom
JoeyBF:claude/ext-algebra-cohomology

ext_algebra: reframe docs so ExtAlgebra reads as classical Ext(k,k)

e904c9e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
miri
succeeded Jul 12, 2026 in 1m 44s