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

to_ringEquiv_symm

Mathlib.Algebra.Star.StarAlgHom

URI: https://scilib.ai/kg/mathlib#StarAlgEquiv.to_ringEquiv_symm

← MathLib Explorer