Theorem LocalRing.PrimeSpectrum.comap_residue

Modification history