WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites iff?
iffDef P Q == (P Q) & (P Q)
Thm* A,B:Prop. (A B) Prop
rev_implies Def P Q == Q P
Thm* A,B:Prop. (A B) Prop

Syntax:P Q has structure: iff(P; Q)

About:
memberpropimpliesandall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc