Theorem PrimeSpectrum.mem_range_comap_iff

Modification history

2025-02-12 21:23
Mathlib/RingTheory/Spectrum/Prime/RingHom.lean
feat(RingTheory/FaithfullyFlat): equivalent characterizations for algebras (#20725) …
Added PrimeSpectrum.mem_range_comap_iffView on Github →