theorem tilde_isQuasicoherent_cor16 {R : CommRingCat} (M : ModuleCat ↑R) : SheafOfModules.IsQuasicoherent (AlgebraicGeometry.tilde M)

Corollary 16 (cf. Thm 12.1): for any module M over a commutative ring R, the associated sheaf M̃ on Spec R is quasicoherent, exhibiting the tilde functor as landing in quasicoherent sheaves.