Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-03 20:37 712a0b75

View on Github →

chore(algebra/lie): adjoint rep of lie algebra uses lowercase ad (#4891) The uppercase is for Lie groups

Estimated changes

deleted def lie_algebra.Ad
added def lie_algebra.ad