Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-06-01 19:12 b608348f

View on Github →

chore(ring_theory/derivation): split file (#19138) The Stone-Weierstrass theorem shouldn't require the definition of Lie algebras.

Estimated changes