Vec.Properties: drop eq parameter when it is a property (v3.0 changes)#2431

mildsunrise wants to merge 5 commits intoagda:masteragda/agda-stdlib:masterfrom

mildsunrise:vec-drop-eq-v3mildsunrise/agda-stdlib:vec-drop-eq-v3Copy head branch name to clipboard