In this rule

Historical Rules · 1 June 2020

Rule 702.4a

Official source text from the 1 June 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