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

star_mem_star_iff

Mathlib.Algebra.Star.NonUnitalSubalgebra

URI: https://scilib.ai/kg/mathlib#NonUnitalSubalgebra.star_mem_star_iff

← MathLib Explorer