Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
Posted By: AngusI was much chipper than loreman!
The multiplicative case isSeems self-evident. Recall we're examining the relationship between '+' and '.' and so exchanging symbols is the natural operation here.
a.(b+c) = a.b + a.c
and if we try this for addition by merely exchanging symbols, we get
a + (b.c) != (a+b).(a+c)
Posted By: Andrew Palfreymanomg i proved something else then!!