Theorem IntermediateField.adjoin_int

Modification history