Documentation for #237
That's the (minimal) documentation I'd have wanted to see. And vice versa, the lack of this rule implied (to me) that this wouldn't work.
EDIT: Beware this is just for ▹, not ▹^n, but writing more is easy.
That's the (minimal) documentation I'd have wanted to see. And vice versa, the lack of this rule implied (to me) that this wouldn't work.
EDIT: Beware this is just for ▹, not ▹^n, but writing more is easy.