docs for ≻ conclusion wrong

[stchang]

It works with ⇐ rules, even though the docs dont say it.
from @tov