Example exc-038
Prev:
exc-037
Next:
exc-039
f
<math> <apply><eq/> <apply><codomain/><ci>f</ci></apply> <rationals/> </apply> </math>