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

inhabited_self_FGEquiv

Mathlib.ModelTheory.PartialEquiv

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

← MathLib Explorer