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

instZLattice_unitLattice

Mathlib.NumberTheory.NumberField.Units.DirichletTheorem

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

← MathLib Explorer