Skip to Content.
Sympa Menu

ssreflect - Re: multiplication by a constant as a rmorphism

Subject: Ssreflect Users Discussion List

List archive

Re: multiplication by a constant as a rmorphism


Chronological Thread 
  • From:
  • To:
  • Subject: Re: multiplication by a constant as a rmorphism
  • Date: Tue, 17 May 2011 09:54:16 -0400 (EDT)

Wait nevermind, that makes no sense.

On Tue, 17 May 2011, wrote:

Is there an easy way to change ( *%R a) into an {rmorph R -> R} ?

--
Russell O'Connor <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''



Archive powered by MHonArc 2.6.18.

Top of Page