WhoCites Definitions mb collection Sections GenAutomata Doc

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

Syntax:A has structure: not(A)

About:
memberpropimpliesfalseall!abstraction

WhoCites Definitions mb collection Sections GenAutomata Doc