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

val_one

Mathlib.Algebra.Algebra.Spectrum.Quasispectrum

URI: https://scilib.ai/kg/mathlib#PreQuasiregular.val_one

← MathLib Explorer