Andrew Krizhanovsky see 1  almost 8 years ago

Commit id: 69d2b7f040a5ed2aa49b8f220e5c9f1a031a1022

deletions | additions      

       

\end{theorem}  \begin{proof}  $v \in IntS \Leftrightarrow $  см. \ref{eqn:eq_short_ints} (\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}