In this section

Historical Rules · 25 July 2025

Rule 309.1

Official source text from the 25 July 2025 Rules release

Dungeon is a card type seen only on nontraditional Magic cards.

Find this number in the current Rules