PrintForm
Definitions
FTA
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
eval
factorization
wf
a
,
b
:
,
f
:({
a
..
b
}
).
{
a
..
b
}(
f
)
By:
Def of
{<int>..<int>
}(<exponents>)
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
FTA
Sections
DiscrMathExt
Doc
a,b:
, f:({a..b
}
). 
{a..b}(f) 
a,b:, f:({a..b}). {a..b}(f) {<int>..<int>}(<exponents>)
