Theorem PresheafOfModules.freeAdjunction_homEquiv

Modification history