eq_star_of_eq_star — Mathlib · SciLib

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

eq_star_of_eq_star

Mathlib.Algebra.Star.Basic

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

← MathLib Explorer