extend_cast — Mathlib · SciLib

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

extend_cast

Mathlib.Topology.Path

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

← MathLib Explorer