Idris2Doc : Data.Vect.Properties

Data.Vect.Properties

Additional properties and lemmata to do with Vect