Theorem IntermediateField.subset_adjoin_of_subset_right

Modification history