Theorem CategoryTheory.op_zero

Modification history