Theorem CategoryTheory.Limits.biproduct.matrix_map

Modification history