Theorem CategoryTheory.Limits.biproduct.ι_desc

Modification history