Mathlib Changelog
v4
Changelog
About
Github
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 →