Example exc-231

Prev: exc-230

Next: exc-232

1729

<math>
<apply><in/>
  <cn type="complex">17<sep/>29</cn>
  <complexes/>
</apply>
</math>