Theorem DividedPowers.IsDPMorphism.on_span

Modification history