Theorem IntermediateField.adjoin_map

Modification history