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

invFun_eq_symm

Mathlib.Algebra.Star.StarRingHom

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

← MathLib Explorer