Nimber multiplication (source code)

= Nimber multiplication

= Nim-product
{c}
{synonym}