ssreflect - Re: basic question about matrices

Subject: Ssreflect Users Discussion List

List archive

Thanks for the information, I'll take a look at the ordinals to use matrixP.

as you are dealing only with element that are in 'I_1, ord1 is the lemma to use.

--
Laurent

basic question about matrices, Vincent Siles, 05/19/2011
- Re: basic question about matrices, Laurent Théry, 05/19/2011
  - Re: basic question about matrices, Vincent Siles, 05/19/2011
    - Re: basic question about matrices, Laurent Théry, 05/19/2011
      - Re: basic question about matrices, Vincent Siles, 05/19/2011
        
        Re: basic question about matrices, Vincent Siles, 05/19/2011
        
        set and pattern, Laurent Thery, 05/26/2011
        
        RE: set and pattern, Georges Gonthier, 05/26/2011
        
        Re: set and pattern, Enrico Tassi, 05/26/2011
- RE: basic question about matrices, Georges Gonthier, 05/19/2011
  - Re: basic question about matrices, Vincent Siles, 05/19/2011
    - RE: basic question about matrices, Georges Gonthier, 05/19/2011