(8steps total)
PrintForm
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card0
iff
uninhabited
1
1.
A
: Type
2.
A
~
0
(
A
)
By:
Analyze-1
Generated subgoal:
1
2.
f
:
A
0
3.
g
:(
0
A
). InvFuns(
A
;
0;
f
;
g
)
(
A
)
2
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(8steps total)
PrintForm
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
0
(
A)0
(A)
0
g:(0A). InvFuns(A;0;f;g)
(A)
