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

subtype_comp_inclusion

Mathlib.Order.BooleanSubalgebra

URI: https://scilib.ai/kg/mathlib#BooleanSubalgebra.subtype_comp_inclusion

← MathLib Explorer