Theorem Rep.resIndAdjunction_counit_app

Modification history