Nuprl Definition : ses-private-key

PrivateKey(A) ==  inr (inl Private(A)) 


Definitions occuring in Statement :  ses-private: Private(A),  inr: inr x ,  inl: inl x
FDL editor aliases :  ses-private-key
Latex:
PrivateKey(A)  ==    inr  (inl  Private(A)) 


Date html generated: 2015_07_23-PM-00_04_01
Last ObjectModification: 2012_08_30-PM-02_30_21

Home Index