∫ Утверждение Mathlib
isClosedEmbedding_coe_real
Mathlib.Topology.Instances.Int
URI: https://scilib.ai/kg/mathlib#Int.isClosedEmbedding_coe_real
∫ Утверждение Mathlib
Mathlib.Topology.Instances.Int
URI: https://scilib.ai/kg/mathlib#Int.isClosedEmbedding_coe_real