∫ Утверждение Mathlib
tsnd_eq_snd_id
Mathlib.Control.Bitraversable.Lemmas
URI: https://scilib.ai/kg/mathlib#Bitraversable.tsnd_eq_snd_id
∫ Утверждение Mathlib
Mathlib.Control.Bitraversable.Lemmas
URI: https://scilib.ai/kg/mathlib#Bitraversable.tsnd_eq_snd_id