Ordinals-0.0.0.2: Ordinal arithmetic (Index)

Ordinals-0.0.0.2: Ordinal arithmetic

Index

++.	Math.Ordinals.MultiSet
.++.	Math.Ordinals.MultiSet
.:	Math.Ordinals.MultiSet
O	Math.Ordinals.MultiSet
Ordinal	Math.Ordinals.MultiSet
w	Math.Ordinals.MultiSet
wf	Math.Ordinals.MultiSet
^:	Math.Ordinals.MultiSet