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

norm_embedding_eq

Mathlib.NumberTheory.NumberField.InfinitePlace.Basic

URI: https://scilib.ai/kg/mathlib#NumberField.InfinitePlace.norm_embedding_eq

← MathLib Explorer