WhoCites Definitions int 2 Sections StandardLIB Doc

Who Cites not?
notDef A == A False
Thm* A:Prop. (A) Prop

Syntax:A has structure: not(A)

About:
memberpropimpliesfalseall!abstraction

WhoCites Definitions int 2 Sections StandardLIB Doc