∫ Утверждение Mathlib
Mathlib.Data.Prod.Basic
URI: https://scilib.ai/kg/mathlib#Prod.eq_iff_fst_eq_snd_eq
← MathLib Explorer