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!