Def CategoryTheory.Limits.BinaryBiproduct.isColimit

Modification history