Mathlib v3 is deprecated. Go to Mathlib v4

Def derivation.restrict_scalars

Modification history

2022-10-24 07:29

src/ring_theory/derivation.lean

feat(ring_theory/derivation): The Kähler differential module is functorial (#17018)

Added derivation.restrict_scalars View on Github →