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

coe_symm_toEquiv

Mathlib.Order.Hom.Basic

URI: https://scilib.ai/kg/mathlib#OrderIso.coe_symm_toEquiv

← MathLib Explorer