Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-11 16:08 d8531745

View on Github →

feat(ring_theory/derivation): The kernel of the map S ⊗[R] S →ₐ[R] S. (#15856)

Estimated changes