Nuprl Definition : locknd-deq
locknd-deq() == product-deq(Id;Knd;IdDeq;KindDeq)
Definitions occuring in Statement :
Kind-deq: KindDeq,
Knd: Knd,
id-deq: IdDeq,
Id: Id,
product-deq: product-deq(A;B;a;b)
FDL editor aliases :
locknd-deq
locknd-deq() == product-deq(Id;Knd;IdDeq;KindDeq)
Date html generated:
2015_07_17-AM-09_14_18
Last ObjectModification:
2012_02_25-AM-10_53_50
Home
Index