Data.Vect.Properties

Additional properties and lemmata to do with Vect