syms
syms
-- a key used in a
Monoid
under which is stored a list of the symbols used as generators for the monoid.
Go to
main index
.
Go to
concepts index
.