Theorem IntermediateField.subset_adjoin_of_subset_left

Modification history