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