Commit 2024-03-13 12:48 60ad7428
View on Github →perf(Abelian.InjectiveResolution): refactor CochainComplex.mkAux
(#11349)
Similar to the changes for ChainComplex.mkAux
we remove the ad-hoc MkStruct
and replace with it ShortComplex
.
perf(Abelian.InjectiveResolution): refactor CochainComplex.mkAux
(#11349)
Similar to the changes for ChainComplex.mkAux
we remove the ad-hoc MkStruct
and replace with it ShortComplex
.