instRepr — Mathlib · SciLib

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

instRepr

Mathlib.NumberTheory.Zsqrtd.GaussianInt

URI: https://scilib.ai/kg/mathlib#GaussianInt.instRepr

← MathLib Explorer