Theorem CategoryTheory.ShortComplex.toCycles_comp_homologyπ

Modification history