Changes

→‎Variations on a theme of transitivity: + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
Line 122: Line 122:  
~ q \le r
 
~ q \le r
 
\\
 
\\
\overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
+
\overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
 
\\
 
\\
 
~ p \le q \le r
 
~ p \le q \le r
12,080

edits