WhoCites
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
Who Cites rev
implies?
rev_implies
Def P
Q == Q
P
Thm*
A,B:Prop. (A
B)
Prop
Syntax:
P
Q
has structure:
rev_implies(P; Q)
About:
WhoCites
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
Q == Q 
P
A,B:Prop. (A B) 
Prop Q == Q PA,B:Prop. (A B) Prop Q
