Theorem IntermediateField.isAlgebraic_adjoin_simple

Modification history