Frobenius theorem in the noncommutative caseдоклад на конференции