Biautomatic group

Summary