Theorem SheafOfModules.pushforwardNatTrans_app_val_app_apply

Modification history

2026-10-30 15:42
Mathlib/Algebra/Category/ModuleCat/Sheaf/PushforwardContinuous.lean
chore(Algebra/Category/ModuleCat/Sheaf): deprecate duplicate `pushforwardNatTrans_app_val_app_apply` (#44580) …
Deleted SheafOfModules.pushforwardNatTrans_app_val_app_applyView on Github →
2026-01-22 10:30
Mathlib/Algebra/Category/ModuleCat/Sheaf/PushforwardContinuous.lean
chore(AlgebraicGeometry): API for `𝒪ₓ`-modules (#31854)
Added SheafOfModules.pushforwardNatTrans_app_val_app_applyView on Github →