star_subset_adjoin — Mathlib · SciLib

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

star_subset_adjoin

Mathlib.Algebra.Star.Subalgebra

URI: https://scilib.ai/kg/mathlib#StarAlgebra.star_subset_adjoin

← MathLib Explorer