Theorem IntermediateField.isAlgebraic_adjoin_iff

Modification history