mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(data/pfun): Product of partial functions

Open YaelDillies opened this issue 3 years ago • 0 comments

Define pfun.prod : (α →. γ) → (β →. δ) → α × β →. γ × δ.

Open in Gitpod

YaelDillies avatar Jul 15 '22 14:07 YaelDillies