Theorem CategoryTheory.op_tensor_op

Modification history