Theorem IntermediateField.isAlgebraic_adjoin

Modification history