Will Jiri Lehecka reach the quarterfinals of the Australian Open?

This market will resolve to “Yes” if Jiri Lehecka reaches the quarterfinals of the 2025 Australian Open Men’s Singles tournament. Otherwise, this market will resolve to “No”. If at any point it becomes impossible for this player to reach the quarterfinals of the Australian Open Men’s Singles Tournament (e.g., they are eliminated in a prior round), this market will resolve immediately to “No”. The primary resolution source will be official information from the Australian Open (https://www.ausopen.com), however a consensus of credible reporting may also be used.