Theta Correspondence, Representation Theory of reductive groups, Invariant Theory

Formalization of Mathematics and Game Theory in Lean
Personal github: https://github.com/jiajunma
Organization github: https://github.com/math-xmum