id_prod — Mathlib · SciLib

∫ Утверждение Mathlib

id_prod

Mathlib.Data.Prod.Basic

URI: https://scilib.ai/kg/mathlib#Prod.id_prod

← MathLib Explorer