Theorem IntermediateField.adjoin_subset_adjoin_iff

Modification history