Theorem IntermediateField.adjoin_zero

Modification history