Theorem CategoryTheory.Limits.biproduct.matrix_components

Modification history