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

isEmptyRingEquiv_symm_apply

Mathlib.Algebra.MvPolynomial.Equiv

URI: https://scilib.ai/kg/mathlib#MvPolynomial.isEmptyRingEquiv_symm_apply

← MathLib Explorer