On 22 janv. 2014, at 10:13, Martin Dias <[email protected]> wrote:
> > > On Wed, Jan 22, 2014 at 10:05 AM, Martin Dias <[email protected]> wrote: > should > > (T1 @ {#a -> #b} @ {#x -> #y}) = (T1 @ {#x -> #y} @ {#a -> #b}) > > ? > > two more: > > (T1 - {#a. #b}) = (T1 - {#b. #a}) > > (T1 - {#a} - {#b}) = (T1 - {#b} - {#a}) > > I would say yes for each case.
