This is a browser-friendly view of the QMath context setoid.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary setoid || http://www.openmath.org/cd/setoid.html || http://www.openmath.org/cd/setoid.ocd Symbol: make_Setoid APPLICATION "setoid:make_Setoid" Symbol: Setoid APPLICATION "setoid:Setoid"