DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
(
A
B
C
) ~ (
B
A
C
)
[card_curry_simple2]
cites the following:
Thm*
(
A
B
) ~ (
B
A
)
[card_product_swap]
Thm*
(
A
B
C
) ~ (
A
B
C
)
[card_curry_simple]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
DiscreteMath
Sections
DiscrMathExt
Doc
B
C) ~ (BAC)B) ~ (BA)BC) ~ (ABC)BC) ~ (BAC)B) ~ (BA)BC) ~ (ABC)