mathlib

04909776 - feat(algebra/lie/engel): add proof of Engel's theorem (#11922)