WhoCites
Definitions
core
3
jlc
Sections
Support(jlc)
Doc
Who Cites not?
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
rev_implies
Def
P
Q == Q
P
Thm*
A,B:Prop. (A
B)
Prop
About:
WhoCites
Definitions
core
3
jlc
Sections
Support(jlc)
Doc
A == A 
False
A:Prop. (A) 
Prop
Q == Q PA,B:Prop. (A B) PropA == A FalseA:Prop. (A) Prop Q == Q PA,B:Prop. (A B) Prop
