docs for ≻ conclusion wrong

Open stchang opened this issue 6 years ago • 0 comments

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

Jun 20 '19 16:06 stchang