Theorem IntermediateField.equivOfEq_trans

Modification history