Mathlib v3 is deprecated. Go to Mathlib v4

Def linear_equiv.comp_der

Modification history

2022-10-06 10:46

src/ring_theory/derivation.lean

feat(ring_theory/derivation): Endomorphisms of the Kähler differential module (#15854)

Added linear_equiv.comp_der View on Github →