Mathlib v3 is deprecated. Go to Mathlib v4

Def commutator_ring

Modification history

2022-08-22 19:28
src/algebra/lie/non_unital_non_assoc_algebra.lean
refactor(algebra/lie): replace local instance with type synonym (#16154) …
Added commutator_ringView on Github →