Theorem CategoryTheory.opOp_μ

Modification history