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