Differences

This shows you the differences between two versions of the page.

distributive_residuated_lattices [2016/12/09 19:25]
jipsen
distributive_residuated_lattices [2019/07/20 10:48] (current)
jipsen
Line 49: Line 49:
f(4)= &20\\ f(4)= &20\\
f(5)= &115\\ f(5)= &115\\
-f(6)= &7782\\+f(6)= &899\\ 
 +f(7)= &7782\\ 
 +f(8)= &80468\\
\end{array}$ \end{array}$