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