Theorem Bitraversable.tsnd_eq_snd_id

Modification history

2023-04-18 03:37
Mathlib/Control/Bitraversable/Lemmas.lean
feat: port Control.Bitraversable.Lemmas (#3460)
Added Bitraversable.tsnd_eq_snd_idView on Github →