Theorem IsLocalRing.PrimeSpectrum.comap_residue

Modification history