Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit d10023c3 authored by Michael Kohlhase's avatar Michael Kohlhase

one more

parent 11d4ffe3
<p xmlns="http://www.w3.org/1999/xhtml" class="ltx_p">
A positive integer
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>n</mi>
</math>
is called prime, iff there is no positive integer
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<mn>1</mn>
<mo>&lt;</mo>
<mi>m</mi>
<mo>&lt;</mo>
<mi>n</mi>
</mrow>
</math>
with
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<mi>m</mi>
<mo stretchy="false">|</mo>
<mi>n</mi>
</mrow>
</math>.
</p>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment