Theorem IntermediateField.adjoin_simple_toSubalgebra_of_integral

Modification history