mathlib3
712a0b75 - chore(algebra/lie): adjoint rep of lie algebra uses lowercase `ad` (#4891)

Commit

5 years ago

chore(algebra/lie): adjoint rep of lie algebra uses lowercase `ad` (#4891) The uppercase is for Lie groups Co-authored-by: Oliver Nash <oliver.nash@gmail.com>

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

Parents

e88a5bb5

mathlib3 712a0b75 - chore(algebra/lie): adjoint rep of lie algebra uses lowercase `ad` (#4891)

mathlib3
712a0b75 - chore(algebra/lie): adjoint rep of lie algebra uses lowercase `ad` (#4891)