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

subtype_apply

Mathlib.ModelTheory.ElementarySubstructures

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

← MathLib Explorer