Theorem IntermediateField.isAlgebraic_adjoin_iff_bot

Modification history