Display:

f

Source:


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