Andrew Krizhanovsky see ref  almost 8 years ago

Commit id: c77d90c606e076cef944a73055a1351739b05b9c

deletions | additions      

       

$$  \end{theorem}  \begin{proof}  $v \in IntS \Leftrightarrow $ см. \ref{eqn:eq_short_ints}