Theorem Rep.resIndAdjunction_unit_app

Modification history