star_eq_inv — Mathlib · SciLib

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

star_eq_inv

Mathlib.Algebra.Star.Unitary

URI: https://scilib.ai/kg/mathlib#unitary.star_eq_inv

← MathLib Explorer