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

invFun_eq_symm

Mathlib.Algebra.Star.MonoidHom

URI: https://scilib.ai/kg/mathlib#StarMulEquiv.invFun_eq_symm

← MathLib Explorer