Regularität von Lie-Gruppen und Lie's Dritter Satz (RegLie2)

Project Period: 2022-05-01 – 2023-04-30
Acronym
RegLie2