Theorem IntermediateField.adjoin_union

Modification history