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

prod_nil

Mathlib.Algebra.BigOperators.Group.List.Defs

URI: https://scilib.ai/kg/mathlib#List.prod_nil

← MathLib Explorer