Theorem CategoryTheory.Limits.biproduct.matrix_desc

Modification history