WhoCites Definitions mb label Sections GenAutomata 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 mb label Sections GenAutomata Doc