Theorem IntermediateField.isAlgebraic_adjoin_iff_top

Modification history