Theorem IntermediateField.finiteDimensional_adjoin_of_finite_of_isAlgebraic

Modification history