Formalization of Lie theory

Dear colleagues,

I am excited to announce that Alex Nelson and I decided to formalize Lie 
theory in Mizar!

Since this is a rather big project, we wanted to let you know in advance 
to avoid someone silently working on it as well and doubling effort for 
nothing.

On the other hand, if you want to join the effort, you are welcome to do so!

If you have any questions, don't be afraid to ask!


Best regards and stay healthy Sebastian Koch