Scaling by `δ > 0` is injective on types, preserves validity, and multiplies the degree by `δ`.

Initializing...

Scaling by `δ > 0` is injective on types, preserves validity, and multiplies the degree by `δ`. · Prove2Me