Changes

Line 5,745: Line 5,745:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
 +
(a \,\Leftarrow\, b) \,\Leftarrow\, c & = & a \,\Leftarrow\, b \land c
 +
\\[8pt]
 
(a >\!\!\!-~ b) >\!\!\!-~ c & = & a >\!\!\!-~ bc
 
(a >\!\!\!-~ b) >\!\!\!-~ c & = & a >\!\!\!-~ bc
 
\\[8pt]
 
\\[8pt]
12,080

edits