pathComponent_subset_component — Mathlib · SciLib

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

pathComponent_subset_component

Mathlib.Topology.Connected.PathConnected

URI: https://scilib.ai/kg/mathlib#pathComponent_subset_component

← MathLib Explorer