In this rule

Historical Rules · 28 April 2017

Rule 117.7f

Official source text from the 28 April 2017 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