Theorem IntermediateField.isAlgebraic_iff

Modification history