Ssreflect Users Discussion List

[Vincent Siles <>]

ok.. silly question, it is the definition of block_mx :D

Sorry !
V.

Le 19 mai 2011 18:44, Vincent Siles <> a écrit :
> Ok, i'm done for n = 1, thank you Laurent.
>
> By the way, is there a reason for having block_mxEh (block = row of cols)
> but not the other way around ? (block = col of rows)
>
> V
>
> Le 19 mai 2011 18:10, Laurent Théry <> a écrit :
>>
>>> 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
>>
>>
>