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

instInhabited_fg

Mathlib.ModelTheory.FinitelyGenerated

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

← MathLib Explorer