Def SheafOfModules.QuasicoherentData.shrink

Modification history

2026-02-12 12:31
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat(Algebra/Category): `IsQuasicoherent` from a cover (#35168)
Added SheafOfModules.QuasicoherentData.shrinkView on Github →