Andrew Krizhanovsky format  almost 8 years ago

Commit id: 9b1651c9a2bc2bbc3d57e401cabe4ae4a82d34a6

deletions | additions      

       

\end{theorem}  \begin{proof}  $v \in IntS \Leftrightarrow $  см. \ref{eqn:eq_short_ints} $$ $  \forall p_i: Int S = \{v \in S: sim^1_i > sim_i \ \wedge \ sim^2_i > sim_i \} $$ $    \end{proof}