Def SheafOfModules.overPushforwardOverAdj

Modification history

2026-02-11 08:51
Mathlib/Algebra/Category/ModuleCat/Sheaf/PushforwardContinuous.lean
feat(AlgebraicGeometry): Presentation.isQuasicoherent (#34282) …
Added SheafOfModules.overPushforwardOverAdjView on Github →