Theorem CategoryTheory.opOp_δ

Modification history