coe_coe — Mathlib · SciLib

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

coe_coe

Mathlib.Topology.MetricSpace.Isometry

URI: https://scilib.ai/kg/mathlib#IsometryClass.coe_coe

← MathLib Explorer