Contents
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