Theorem Bifunctor.snd_fst

Modification history

2023-03-08 11:20
Mathlib/Control/Bifunctor.lean
feat: port Control.Bifunctor (#2439)
Added Bifunctor.snd_fstView on Github →