Theorem IntermediateField.fg_of_fg_toSubalgebra

Modification history