Def PresheafOfModules.Derivation'.mk

Modification history

2024-08-21 08:17

Mathlib/Algebra/Category/ModuleCat/Differentials/Presheaf.lean

chore: more byAsSorry backports (#15972)

Modified PresheafOfModules.Derivation'.mk View on Github →

2024-06-25 14:40

Mathlib/Algebra/Category/ModuleCat/Differentials/Presheaf.lean

feat: relative differentials as a presheaf of modules (#14014) …

Added PresheafOfModules.Derivation'.mk View on Github →