LiftGet: replace vec-length-same with toList-subst
[~helmut/bidiragda.git] / CheckInsert.agda
2012-06-05 Helmut Grohnemove checkInsert and related properties to CheckInsert...