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"... ?