Theorem SheafOfModules.IsQuasicoherent.of_coversTop

Modification history

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