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

star_def

Mathlib.Algebra.Notation.Pi.Defs

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

← MathLib Explorer