extend_one — Mathlib · SciLib

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

extend_one

Mathlib.Topology.Path

URI: https://scilib.ai/kg/mathlib#Path.extend_one

← MathLib Explorer