chore(Logic/Relation): golf using grind#41610

SnirBroshi wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:golf/relation-grindSnirBroshi/mathlib4:golf/relation-grindCopy head branch name to clipboard