Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.uncurry_bicompl

Modification history

2020-05-14 11:14

src/logic/function/basic.lean

chore(logic/function): drop `function.uncurry'` (#2678) …

Added function.uncurry_bicompl View on Github →