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

coe_subtype

Mathlib.ModelTheory.ElementarySubstructures

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

← MathLib Explorer