Theorem IntermediateField.fg_adjoin_of_finite

Modification history