Theorem CategoryTheory.Abelian.Ext.mk₀_comp_mk₀_assoc

Modification history