Theorem IntermediateField.finite_of_fg_of_isAlgebraic

Modification history