Theorem IntermediateField.fg_of_noetherian

Modification history