Example ex4-095
Prev:
ex4-094
Next:
ex4-096
f
<math> <apply> <eq/> <apply><codomain/> <fn><ci> f </ci></fn> </apply> <rationals/> </apply> </math>