Theorem CategoryTheory.unopUnop_δ

Modification history