At a candidate u, under Roy's strong six exponentials theorem, a rational function z of u whose conjugation hull meets Theorem F's criterion is not in ℒ̃

Initializing...

At a candidate u, under Roy's strong six exponentials theorem, a rational function z of u whose conjugation hull meets Theorem F's criterion is not in ℒ̃ · Prove2Me