coe_inj — Mathlib · SciLib

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

coe_inj

Mathlib.Analysis.NormedSpace.ENormedSpace

URI: https://scilib.ai/kg/mathlib#ENormedSpace.coe_inj

← MathLib Explorer