Nuprl Definition : rel_rev_implies
R1 
⇐ R2 ==  R2 => R1
Definitions occuring in Statement : 
rel_implies: R1 => R2
Definitions occuring in definition : 
rel_implies: R1 => R2
FDL editor aliases : 
rel_rev_implies
Latex:
R1  \mLeftarrow{}{}  R2  ==    R2  =>  R1
Date html generated:
2016_05_14-AM-06_04_45
Last ObjectModification:
2015_09_22-PM-05_46_48
Theory : relations
Home
Index