Symbol-length conjecture for differential forms
Symbol-length conjecture for differential forms. Then