In this rule

Historical Rules · 7 August 2020

Rule 702.4a

Official source text from the 7 August 2020 Rules release

Permalink

Double strike is a static ability that modifies the rules for the combat damage step. (See rule 510, “Combat Damage Step.”)

Find this number in the current Rules