termΠʳ_,[_,_]_[_] — Mathlib · SciLib

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

termΠʳ_,[_,_]_[_]

Mathlib.Topology.Algebra.RestrictedProduct.Basic

URI: https://scilib.ai/kg/mathlib#RestrictedProduct.termΠʳ_,[_,_]_[_]

← MathLib Explorer