First page
Back
Continue
Last page
Graphics
Beer example 8
S.b(sS.k = V.k (S ´ (k(S) - k(V L (S.k,L.b(S ´ L) - S))))) or S.b(sS.k = V.k (S ´ (k(S) - k(V L ((k(S) ´ b(L)) - S)))))
Notes: