Idris2Doc : Data.Vect.Properties

Data.Vect.Properties

(source)
Additional properties and lemmata to do with Vect

Reexports

import public Data.Vect.Properties.Tabulate
import public Data.Vect.Properties.Index
import public Data.Vect.Properties.Foldr
import public Data.Vect.Properties.Map
import public Data.Vect.Properties.Fin