Mathlib v3 is deprecated. Go to Mathlib v4

Def ideal.quot_cotangent

Modification history

2022-10-06 10:46
src/ring_theory/ideal/cotangent.lean
feat(ring_theory/derivation): Endomorphisms of the Kähler differential module (#15854)
Added ideal.quot_cotangentView on Github →