[ fix #392] Added cancellative and conical properties for _++_#650

MatthewDaggitt merged 1 commit intomasteragda/agda-stdlib:masterfrom

conical-++agda/agda-stdlib:conical-++Copy head branch name to clipboard