In this rule

Historical Rules · 7 June 2024

Rule 702.52b

Official source text from the 7 June 2024 Rules release

Permalink

A player with fewer cards in their library than the number required by a dredge ability can’t mill any of them this way.

Find this number in the current Rules