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

toEquivRange_eq_ofInjective

Mathlib.Logic.Equiv.Fintype

URI: https://scilib.ai/kg/mathlib#Function.Embedding.toEquivRange_eq_ofInjective

← MathLib Explorer