Theorem CategoryTheory.objUp_objDown

Modification history