At a candidate u, under Roy's strong six exponentials theorem, a polynomial in u and ū whose hull is in the polynomial, involution or real pencil class is not in ℒ̃

Initializing...

At a candidate u, under Roy's strong six exponentials theorem, a polynomial in u and ū whose hull is in the polynomial, involution or real pencil class is not in ℒ̃ · Prove2Me