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

logMap_one

Mathlib.NumberTheory.NumberField.CanonicalEmbedding.FundamentalCone

URI: https://scilib.ai/kg/mathlib#NumberField.mixedEmbedding.logMap_one

← MathLib Explorer