Open vblot opened 5 years ago
https://github.com/esum/internship2019/blob/17e55dbe0e3ad5da653a4b8086714a4b61c4177a/src/seq2.v#L4
ce lemme est dans ssreflect.seq et s'appelle in_cons
https://github.com/esum/internship2019/blob/17e55dbe0e3ad5da653a4b8086714a4b61c4177a/src/seq2.v#L4
ce lemme est dans ssreflect.seq et s'appelle in_cons