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

specComap_asIdeal

Mathlib.RingTheory.Spectrum.Prime.RingHom

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

← MathLib Explorer