Thms
bool
1
Doc
not
Def
A == A
False
Thm* (
A)
Prop