Theorem PresheafOfModules.freeAdjunction_unit_app

Modification history