Exercise 9.2


flip f x y = f y x
flip (flip f) x y 
= flip f y x 
= f x y
∴ flip (flip f) = f

Leave a Reply

Your email address will not be published. Required fields are marked *