Def Ideal.cotangentIdeal

Modification history

2023-07-31 15:32

Mathlib/RingTheory/Ideal/Cotangent.lean

chore (Ideal.Cotangent): simplify term for cotangentIdeal (#6156) …

Modified Ideal.cotangentIdeal View on Github →

2023-05-29 12:31

Mathlib/RingTheory/Ideal/Cotangent.lean

feat: port RingTheory.Ideal.Cotangent (#4451)

Added Ideal.cotangentIdeal View on Github →