Theorem Rep.coindResAdjunction_counit_app

Modification history