Theorem CategoryTheory.Limits.biproduct.bicone_π

Modification history