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

toElementaryEmbedding_toEmbedding

Mathlib.ModelTheory.ElementaryMaps

URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.Equiv.toElementaryEmbedding_toEmbedding

← MathLib Explorer