WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites rev implies?
rev_impliesDef P Q == Q P
Thm* A,B:Prop. (A B) Prop

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

About:
memberpropimpliesall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc