Def PrimeSpectrum.comapEquiv

Modification history

2024-12-20 16:26
Mathlib/RingTheory/PrimeSpectrum.lean
feat: isomorphic rings have isomorphic spectra (#20068) …
Added PrimeSpectrum.comapEquivView on Github →