Nuprl Definition : mRuleimpE

impE on hypnum ==  <"impE", hypnum>



Definitions occuring in Statement :  pair: <a, b> token: "$token"
FDL editor aliases :  mRuleimpE
impE  on  hypnum  ==    <"impE",  hypnum>



Date html generated: 2015_07_17-AM-07_55_14
Last ObjectModification: 2014_05_04-PM-00_55_14

Home Index