Andrew Krizhanovsky xleftrightarrow  almost 8 years ago

Commit id: 059a199014d9696e87baea48e1d3cb61d1ba77cd

deletions | additions      

       

$$  v \in IntS \Leftrightarrow{n+\mu-1} \xleftrightarrow{n+\mu-1}  rank\ (v) = 2^{|S|-2}-1,\ \ |S| \geqslant 3, $$  \end{theorem}