pow_eq — Mathlib · SciLib

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

pow_eq

Mathlib.Algebra.Star.StarProjection

URI: https://scilib.ai/kg/mathlib#IsStarProjection.pow_eq

← MathLib Explorer