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

coe_comap

Mathlib.RingTheory.Spectrum.Prime.Topology

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

← MathLib Explorer