Theorem IntermediateField.coe_sInf

Modification history