Andrew Krizhanovsky + label eqn:eq_short_ints  almost 8 years ago

Commit id: d175abe7b82e0eb9f7f754c0756840f9e7db08a7

deletions | additions      

       

При этом получаем более компактное определение внутренности $Int S$ синсета $S$   $$  \label{eqn:eq_short_ints}  Int S = \{v \in S: sim_i < sim^1_i \ \wedge \ sim_i < sim^2_i\}  $$