isRegular_star_iff — Mathlib · SciLib

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

isRegular_star_iff

Mathlib.Algebra.Star.Basic

URI: https://scilib.ai/kg/mathlib#isRegular_star_iff

← MathLib Explorer