Theorem CategoryTheory.opOp_ε

Modification history