Nuprl - Pf assert of bool eq bfalse false 1 2 1

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

At: assert of bool eq bfalse false 1 2 1

False true = false

By: Auto

Generated subgoal:

1 1. true = false
False

About:

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