Theorem Localization.AtPrime.mapPiEvalRingHom_algebraMap_apply

Modification history