Theorem IntermediateField.fg_adjoin_finset

Modification history