Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lift_of_derivation_to_square_zero_apply

Modification history

2023-02-17 15:56
src/ring_theory/derivation.lean
fix(ring_theory/derivation): speed up a slow definition (#18457) …
Deleted lift_of_derivation_to_square_zero_applyView on Github →
2022-07-20 07:41
src/ring_theory/derivation.lean
feat(ring_theory/derivation): Derivations into square-zero ideals corresponds to liftings. (#15244)
Added lift_of_derivation_to_square_zero_applyView on Github →