Subject: Ssreflect Users Discussion List
List archive
- From: Laurent Théry <>
- To: bertot <>
- Cc: ssreflect <>
- Subject: Re: [ssreflect] Question of style
- Date: Tue, 05 Nov 2013 15:47:12 +0100
On 11/05/2013 03:11 PM, bertot wrote:
Hello,
I am using poly.v and I need to reduce
- 'X \Po p
\Po is proved to be left linear I think so rewrite linearN /= should do the trick
- [ssreflect] Question of style, bertot, 11/05/2013
- Re: [ssreflect] Question of style, Laurent Théry, 11/05/2013
- RE: [ssreflect] Question of style, Georges Gonthier, 11/05/2013
Archive powered by MHonArc 2.6.18.