pos_at_place — Mathlib · SciLib

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

pos_at_place

Mathlib.NumberTheory.NumberField.Units.Basic

URI: https://scilib.ai/kg/mathlib#NumberField.Units.pos_at_place

← MathLib Explorer