Def derivationToSquareZeroOfLift
Modification history
2025-04-30 12:59
Mathlib/RingTheory/Derivation/ToSquareZero.lean
chore: more whitespace fixes (#24472) …
Modified derivationToSquareZeroOfLiftView on Github →2024-08-19 11:42
Mathlib/RingTheory/Derivation/ToSquareZero.lean
chore: backports from byAsSorry (#15759) …
Modified derivationToSquareZeroOfLiftView on Github →