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

coe_symm_toDilationEquiv

Mathlib.Topology.MetricSpace.DilationEquiv

URI: https://scilib.ai/kg/mathlib#IsometryEquiv.coe_symm_toDilationEquiv

← MathLib Explorer