User:Jshflynn/Theorems

Theorems

 * Empty Word is Unique
 * Length of Concatenation
 * Empty Word is Two-sided Identity
 * Concatenation is Associative
 * Language Product is Associative
 * Linguistic Structure Underlying Set