Vec.Properties: drop eq parameter when it is a property#2430

MatthewDaggitt merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom

mildsunrise:vec-drop-eqmildsunrise/agda-stdlib:vec-drop-eqCopy head branch name to clipboard