Theorem BundledCorePresheafOfModules.restrictionApp_toPresheafOfModules

Modification history