Theorem CategoryTheory.unopUnop_η

Modification history