bool
2
jlc
Sections
Support(jlc)
Doc
Theorem
Name
Thm*
P:
. P
P = true
[assert_iff_btrue_rw]
cites
Thm*
P:
. P
P = true
[assert_iff_btrue]
bool
2
jlc
Sections
Support(jlc)
Doc
P:
. P 
P = true
P:. P P = trueP:. P P = trueP:. P P = true