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

alternatingProd_nil

Mathlib.Algebra.BigOperators.Group.List.Basic

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

← MathLib Explorer