Theorem Localization.mapPiEvalRingHom_bijective

Modification history