mathlib

f60c184e - feat(algebra/lie/basic): Lie ideal operations are linear spans (#5676)