19:0319:03, 7 August 2014diffhist−268
Monoid
removed unnecessary but confusing qualification of the simply assertion, S x S -> S and the equally redundant assert, "holds."
01:0901:09, 7 January 2014diffhist−5
Matroska
remove the term "horizontal" which should have probably been "laterally" but in either case is unnecessary.
07:0507:05, 2 March 2013diffhist+31
Formal language
For clarity since a formal language is really more about the alphabet rather and not their permutation for which formal grammar speaks.
19:0319:03, 7 August 2014diffhist−268
Monoid
removed unnecessary but confusing qualification of the simply assertion, S x S -> S and the equally redundant assert, "holds."
01:0901:09, 7 January 2014diffhist−5
Matroska
remove the term "horizontal" which should have probably been "laterally" but in either case is unnecessary.
07:0507:05, 2 March 2013diffhist+31
Formal language
For clarity since a formal language is really more about the alphabet rather and not their permutation for which formal grammar speaks.