Subject: Ssreflect Users Discussion List
List archive
- 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.''
- multiplication by a constant as a rmorphism, roconnor, 05/17/2011
- Re: multiplication by a constant as a rmorphism, roconnor, 05/17/2011
Archive powered by MHonArc 2.6.18.