∫ Утверждение Mathlib
isEmbedding_embedProduct
Mathlib.Topology.Algebra.Constructions
URI: https://scilib.ai/kg/mathlib#Units.isEmbedding_embedProduct
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.Constructions
URI: https://scilib.ai/kg/mathlib#Units.isEmbedding_embedProduct