In this rule

Historical Rules · 22 July 2016

Rule 117.7f

Official source text from the 22 July 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