Andrew Krizhanovsky forall  almost 8 years ago

Commit id: b27d2ab6e05445956be0a4715a20764c2f9e8170

deletions | additions      

       

\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}