Closed
Description
CHANGELOG.md in lib-2.rc1 writes
reflexive+selfInverse⇒involutive : ...
In other places (in lib-1.7.2), I recall, ∧
is used in similar situations in the name, probably, in Data.Nat.Properties ...
It is also reasonable to use comma.
And +
presumes a different meaning in the names like m≤n+n
.
Anyway it has sense to choose a uniform denotation for the library.