Theorem IntermediateField.subset_adjoin

Modification history