|
From: | Jay Foad |
Subject: | Re: [Bug-apl] multiple inner product |
Date: | Thu, 7 Jul 2016 11:55:37 +0100 |
On 7 July 2016 at 11:07, Jay Foad wrote:
> (I think you meant ⊂f/A g B on the RHS?)
No, I don't think I did. That enclosure is already a result of reduction.
[Prev in Thread] | Current Thread | [Next in Thread] |