Theorem CategoryTheory.ShortComplex.homologyπ_comp_leftHomologyIso_inv

Modification history