Distributive law for ordinal multiplication

ID: distributive-law-for-ordinal-multiplication

Ordinal multiplication is distributive in its right argument:
Indeed a sequence of copies of indexed by the concatenation of and is the concatenation of the two sequences of copies. The other distributive law fails: , while .

New to topics? Read the docs here!