Nuprl Definition : RankEx1_ProdR?

RankEx1_ProdR?(v) ==  fst(v) =a "ProdR"



Definitions occuring in Statement :  eq_atom: =a y pi1: fst(t) token: "$token"
FDL editor aliases :  RankEx1_ProdR?
RankEx1\_ProdR?(v)  ==    fst(v)  =a  "ProdR"



Date html generated: 2015_07_17-AM-07_48_19
Last ObjectModification: 2014_05_06-PM-02_35_24

Home Index