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

comap_apply

Mathlib.RingTheory.Spectrum.Prime.Topology

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

← MathLib Explorer