feat(logic/relation): add `*.comap` for `reflexive`, `symmetric`, and `transitive` (#8469)
feat(logic/relation): add `*.comap` for `reflexive`, `symmetric`, and `transitive` (#8469)






leanprover-community/mathlib,leanprover-community/mathlib