act->conjugate
act->left%trans
act->left-mul
act->right%trans
act->right-mul
act->set%conjugate
commutative-monoid-theory-to-additive-rr
commutative-monoid-theory-to-multiplicative-mod-n
commutative-monoid-theory-to-multiplicative-rr
complete-order-reverse
complete-ordered-field-interpretable
complete-partial-order-to-generic-theory-1
complete-partial-order-to-h-o-real-arithmetic
complete-partial-order-to-h-o-real-arithmetic-reverse
cpo-to-fixed-interval-theory
degree-equivalence-to-functions-on-a-graded-set
degree-equivalence-to-functions-on-a-graded-set
degree-equivalence-to-graded-monoid
external-smtp
fields-to-rr
fields-to-rr-extended
finite-specialization-of-rgm
functions-on-a-graded-set-to-graded-monoid
generic-theory-1-to-geometry
generic-theory-1-to-packet-trajectory
generic-theory-2-to-indicator-pairs
generic-theory-to-directed-monoid
group-to-field-additive-group
group-to-field-multiplicative-group
groups->subgroup
groups-to-additive-kk
groups-to-additive-rr
groups-to-multiplicative-kk
h-o-real-arithmetic-instantiation
ind_1->pp
ind_1-to-sexp
ind_2-to-place
index-families
index-on-zz
index-on-zz-reverse
iterate->three-place-predicate
lct-interpretation
left%trans<->right%trans
linear-order-reverse
mapint-to-mapint-normed-space
mappings-from-an-interval-to-ns-extension-specialization
mappings-into-a-pointed-metric-space-to-parametrized-graded-monoid
mappings-on-interval-into-ns-to-rr
mappings-pointed-metric-spaces-2-tuples
monoid-transition-system-to-directed-monoid-theory
monoids-to-additive-kk
monoids-to-groups
ms-subspace-to-graded-monoid
ms-subspace-to-ms-closed-ball
ms-to-ms-closed-ball
mul-reverse
normed-spaces-to-rr
order-reverse
packet-trajectory-theory-to-filtered-networks
places-to-memory
pointed-metric-space-to-graded-monoid
rel-to-coll
relativize-to-interval
reverse-filter
schroeder-bernstein->generic-theory-2
schroeder-bernstein-symmetry
seq->bird
sequences->hoare-actions
subspaces-to-function-subspace
subspaces-to-uc-function-subspace
the-kernel-translation
ultrametric-to-degree-equivalence
ultrametric-to-degree-equivalence