/src/Data/Vect/Properties/

• ../
• Insert.idr