Theorem PresheafOfModules.sheaififcationAdjunction_homEquiv_apply

Modification history