Mathlib v3 is deprecated. Go to Mathlib v4

Def derivation.llcomp

Modification history

2022-08-11 16:08
src/ring_theory/derivation.lean
feat(ring_theory/derivation): The kernel of the map `S ⊗[R] S →ₐ[R] S`. (#15856)
Added derivation.llcompView on Github →