alg
alg copied to clipboard
Fix for the theory of Quantales
Quantale distributivity laws were incorrect.
Bottom element preservation requirements were missing.