Adds "pushforward" to Relation.Unary#2840

jamesmckinna merged 4 commits intoagda:masteragda/agda-stdlib:masterfrom

bsaul:unary-pushforwardbsaul/agda-stdlib:unary-pushforwardCopy head branch name to clipboard