Def PresheafOfModules.Derivation'.Universal.mk

Modification history

2024-06-25 14:40

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

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

Added PresheafOfModules.Derivation'.Universal.mk View on Github →