bool
1
Doc
Def
p=
q == (p
q)
(
p
q)
Thm*
assert_of_eq_bool