Theorem CategoryTheory.Limits.op_zero

Modification history