Example exc-038

Prev: exc-037

Next: exc-039

f

<math>
<apply><eq/>
  <apply><codomain/><ci>f</ci></apply>
  <rationals/>
</apply>
</math>