Theorem CategoryTheory.Limits.biproduct.bicone_ι

Modification history