flip f x y = f y x
flip (flip f) x y
= flip f y x
= f x y
∴ flip (flip f) = f |
flip f x y = f y x
flip (flip f) x y
= flip f y x
= f x y
∴ flip (flip f) = f
This entry was posted on Wednesday, August 8th, 2007 at 10:30 pm and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.