Def CategoryTheory.Abelian.BiproductToPushoutIsCokernel.isColimitBiproductToPushout

Modification history