TAG comments on A kernel of Lie theory

[TAG]

Consider capitalising “lie”.

[Alok Singh]

Done 🙏