[darcs-devel] Right and left inverses

[Jules Colding]

Hi,

I'm still reading appendix A in the darcs2 manual. Right after theorem  
1 it is said that:

	"it is possible to show that the right inverse of a patch is equal to  
its left inverse"

How?


Thanks,
   jules