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

star_apply

Mathlib.Algebra.Notation.Pi.Defs

URI: https://scilib.ai/kg/mathlib#Pi.star_apply

← MathLib Explorer