Def Prod.bitraverse

Modification history

2023-06-21 05:19
Mathlib/Control/Bitraversable/Instances.lean
feat: port Control.Bitraversable.Instances (#5225)
Added Prod.bitraverseView on Github →