I am reading the official tutorial for Lean 3. I am stuck on the second exercise in Chapter 2:
complete the following definitions, which “curry” and “uncurry
