Theorem CategoryTheory.Limits.biproduct.components_matrix

Modification history