Commit 2026-10-30 15:42 2a1bf39f
View on Github →chore(Algebra/Category/ModuleCat/Sheaf): deprecate duplicate pushforwardNatTrans_app_val_app_apply (#44580)
Deprecate the simp lemma SheafOfModules.pushforwardNatTrans_app_val_app_apply, a duplicate of pushforwardNatTrans_app_val_app.