Theorem IntermediateField.adjoin_simple_comm

Modification history