Open
Description
Seeing #2546 made me realise that I personally can no longer tolerate the inconsistency between the use of x
(in Reflexive
), x
and y
(in Symmetric
), but i
j
and k
in Relation.Binary.Definitions.Transitive
.
We should fix this in v3.0, IMNSVHO. What other such horrors are lurking out there?