Nuprl - Pf not assert iff bfalse 1 1

(6steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc

At: not assert iff bfalse 1 1

1. True

true = false

By: Unfold `not` 1

Generated subgoal:

1 1. True False
true = false

About:

(6steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc