In this section

Historical Rules · 1 February 2012

Rule 106.1

Official source text from the 1 February 2012 Rules release

Mana is the primary resource in the game. Players spend mana to pay costs, usually when casting spells and activating abilities.

Find this number in the current Rules