Maps the universes found in the
u_canonicalize result (the
“canonical” universes) to the universes found in the original
value (and vice versa). When used as a folder – i.e., from
outside this module – converts from “canonical” universes to the
original (but see the
A reverse map – for each universe Ux that appears in
quantified, the corresponding universe in the original was
Creates a new universe map.
Number of canonical universes.
Returns the argument unchanged.