Theorem DividedPowers.DPMorphism.toRingHom_apply

Modification history