Theorem IntermediateField.coe_val

Modification history