Nuprl Definition : maname-deq
maname-deq() == union-deq(LocKnd;Id × Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq))
Definitions occuring in Statement :
locknd-deq: locknd-deq(),
LocKnd: LocKnd,
id-deq: IdDeq,
Id: Id,
union-deq: union-deq(A;B;a;b),
product-deq: product-deq(A;B;a;b),
product: x:A × B[x]
FDL editor aliases :
maname-deq
maname-deq() == union-deq(LocKnd;Id \mtimes{} Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq))
Date html generated:
2015_07_17-AM-09_14_51
Last ObjectModification:
2012_02_25-AM-10_53_56
Home
Index