Theorem IntermediateField.adjoin_empty

Modification history