Theorem IntermediateField.fG_of_fG_toSubalgebra

Modification history