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

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

termΠʳ_,[_,_]

Mathlib.Topology.Algebra.RestrictedProduct.Basic

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

← MathLib Explorer