Theorem Localization.AtPrime.mapPiEvalRingHom_comp_algebraMap

Modification history