Theorem IntermediateField.adjoin_intCast

Modification history