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

equiv_of_eq

Mathlib.SetTheory.PGame.Order

URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.equiv_of_eq

← MathLib Explorer