Will Garrett Crochet have the lowest ERA in the MLB?

This market will resolve to "Yes" if Garrett Crochet has the lowest ERA for a pitcher in the 2025 MLB Regular season. Otherwise, this market will resolve to "No". A pitcher must record at least 1.0 innings pitched per scheduled league game to qualify for individual category leadership in earned run average. In the case of a tie between this pitcher and another pitcher(s) for the lowest ERA in the MLB Regular Season, this market will resolve in favor of the pitcher who started the higher number of games. If there is still a tie, this market will resolve in favor of the pitcher whose listed last name comes first alphabetically (i.e. in the case of a tie, Brown would resolve to “Yes”, Fried would resolve to “No”). The primary resolution source for this market will be official information from the MLB. However, a consensus of credible reporting may also be used.