Def ModuleCat.Derivation

Modification history

2025-09-24 03:26

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

chore: remove some 'nonrec' (#19907) …

Added ModuleCat.Derivation View on Github →