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

isAdjoinRoot_map_eq_mkₐ

Mathlib.RingTheory.IsAdjoinRoot

URI: https://scilib.ai/kg/mathlib#AdjoinRoot.isAdjoinRoot_map_eq_mkₐ

← MathLib Explorer