Commit 2023-03-08 11:20 87fe67eb

View on Github →

feat: port Control.Bifunctor (#2439)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Control/Bifunctor.lean

added theorem Bifunctor.comp_fst

added theorem Bifunctor.comp_snd

added def Bifunctor.fst

added theorem Bifunctor.fst_snd

added theorem Bifunctor.id_fst

added theorem Bifunctor.id_snd

added def Bifunctor.snd

added theorem Bifunctor.snd_fst