logitext icon indicating copy to clipboard operation
logitext copied to clipboard
verified publisher icon ezyang

Fix typo in meta-implication rule

Open goens opened this issue 1 year ago • 2 comments

goens avatar Aug 22 '24 14:08 goens

IIRC, this was intentional, because you can prove A |- A but not A |- B lol

ezyang avatar Aug 24 '24 20:08 ezyang

oh, I see. I guess the text above is confusing here (because it does talk about B), so I thought it was the general rule you wanted to show. Anyway, thanks for the comment (and the tutorial), happy to close the PR if it should just stay so!

goens avatar Aug 25 '24 11:08 goens