In this rule

Historical Rules · 14 June 2019

Rule 702.4a

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