The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/12/indexes-partial.html
Description:
A sentence on this page reads:
"The system can recognize simple inequality implications, for example “x <
1” implies “x < 2”; otherwise the predicate condition must exactly match
part of the query's WHERE condition or the index will not be recognized as
usable."
I think it's supposed to read ..."x <=1" implies "x < 2"... ?