Theorem CategoryTheory.Limits.biproduct.ι_π_self

Modification history