[opentheory-users] Troubleshooting an article reader

[Mario Carneiro]

On Thu, Oct 16, 2014 at 4:19 AM, Ramana Kumar <ramana at member.fsf.org> wrote:

> I think that is  weaker than the 2 original axioms. We need to know abs is
> a left-inverse of rep regardless of P.
>

Ah, yes I think you're right - it seems the best you can derive from that
is (P (rep a)) = ((abs (rep a)) = a). Never mind then.

Mario
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20141016/4f212d97/attachment-0001.html>