WhoCites
Definitions
int
2
Sections
StandardLIB
Doc
Who Cites not?
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
Syntax:
A
has structure:
not(A)
About:
WhoCites
Definitions
int
2
Sections
StandardLIB
Doc