Theorem IntermediateField.transcendental_adjoin_iff

Modification history