Display:
f
Source:
<
apply
>
<
eq
/>
<
apply
>
<
domain
/>
<
fn
>
<
ci
> f </
ci
>
</
fn
>
</
apply
>
<
reals
/>
</
apply
>