ofAlgEquiv_symm — Mathlib · SciLib

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

ofAlgEquiv_symm

Mathlib.Algebra.Star.StarAlgHom

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

← MathLib Explorer