Theorem IntermediateField.sup_toSubalgebra_of_isAlgebraic_left

Modification history