Theorem DividedPowers.DPMorphism.comp_toRingHom

Modification history