∫ Утверждение Mathlib
instPreservesFiniteProductsOppositeStoneanVal
Mathlib.Condensed.Explicit
URI: https://scilib.ai/kg/mathlib#Condensed.instPreservesFiniteProductsOppositeStoneanVal
∫ Утверждение Mathlib
Mathlib.Condensed.Explicit
URI: https://scilib.ai/kg/mathlib#Condensed.instPreservesFiniteProductsOppositeStoneanVal