Theorem IntermediateField.adjoin_nat

Modification history