DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
(
A
+
B
) ~ (
i
:
2
if
i
=
0
A
else
B
fi)
[card_union_vs_sigma]
cites the following:
Thm*
InvFuns(
A
+
B
;
i
:
2
if
i
=
0
A
else
B
fi;union_to_sigma;sigma_to_union)
[union_sigma_inverses]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
DiscreteMath
Sections
DiscrMathExt
Doc
2
if i=
0
A else B fi)2if i=0 A else B fi;union_to_sigma;sigma_to_union)2if i=0 A else B fi)2if i=0 A else B fi;union_to_sigma;sigma_to_union)