Theorem PresheafOfModules.Derivation'.d_app

Modification history

2025-09-24 03:26
Mathlib/Algebra/Category/ModuleCat/Differentials/Presheaf.lean
chore: remove some 'nonrec' (#19907) …
Added PresheafOfModules.Derivation'.d_appView on Github →