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

orderEmbedding_coe

Mathlib.SetTheory.Ordinal.Basic

URI: https://scilib.ai/kg/mathlib#Cardinal.ord.orderEmbedding_coe

← MathLib Explorer