WhoCites
Definitions
mb
event
system
2
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites prod-deq-aux?
prod-deq-aux
Def prod-deq-aux{\\\\v:l,i:l}(
A
;
B
;
a
;
b
)
Def
== ext{proddeq_DASH_property}{i:l}(
A
,
B
,
a
,
b
)
Syntax:
prod-deq-aux{\\\\v:l,i:l}(
A
;
B
;
a
;
b
)
has structure:
prod-deq-aux{\\v:l,i:l}(
A
;
B
;
a
;
b
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
mb
event
system
2
Sections
EventSystems
Doc
