Def diffToIdealOfQuotientCompEq

Modification history

2023-06-03 07:38

Mathlib/RingTheory/Derivation/ToSquareZero.lean

feat: port RingTheory.Derivation.ToSquareZero (#4614)

Added diffToIdealOfQuotientCompEq View on Github →