Nuprl Definition : rev_implies
P ⇐ Q == Q ⇒ P
Definitions occuring in Statement :
implies: P ⇒ Q
Definitions occuring in definition :
implies: P ⇒ Q
FDL editor aliases :
rev_implies
Latex:
P \mLeftarrow{}{} Q == Q {}\mRightarrow{} P
Date html generated:
2016_05_13-PM-03_04_13
Last ObjectModification:
2015_09_22-PM-05_43_38
Theory : core_1
Home
Index