isEmbedding_natCast — Mathlib · SciLib

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

isEmbedding_natCast

Mathlib.Topology.Instances.ENat

URI: https://scilib.ai/kg/mathlib#ENat.isEmbedding_natCast

← MathLib Explorer