In this rule

Historical Rules · 23 August 2019

Rule 702.4d

Official source text from the 23 August 2019 Rules release

Permalink

Giving double strike to a creature with first strike after it has already dealt combat damage in the first combat damage step will allow the creature to assign combat damage in the second combat damage step.

Find this number in the current Rules