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

specComap_id

Mathlib.RingTheory.Spectrum.Prime.RingHom

URI: https://scilib.ai/kg/mathlib#PrimeSpectrum.specComap_id

← MathLib Explorer