Def IntermediateField.equivOfEq

Modification history