In this rule

Historical Rules · 30 September 2016

Rule 117.7f

Official source text from the 30 September 2016 Rules release

If a cost is reduced by an amount of mana represented by a Phyrexian mana symbol, the cost is reduced by one mana of that symbol’s color.

Find this number in the current Rules