[ rename ] decidability for Relation.Binary.Construct.{Intersection|Union}`#2955

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

jamesmckinna:decidable-intersectionjamesmckinna/agda-stdlib:decidable-intersectionCopy head branch name to clipboard