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

At: not assert iff bfalse 1 1 1
1. True False

true = false
By: Assert True THENL [Trivial;FwdThru 1 [2] THEN Trivial]
Generated subgoals:

None

About:
boolbfalsebtrueequalimpliesfalsetrue

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