Theorem IntermediateField.isAlgebraic_adjoin_iff_isAlgebraic

Modification history