According to the EPA 61 FR 3832 - Prohibition on Gasoline Containing Lead or Lead Additives for Highway Use
EPA has historically defined unleaded gasoline as gasoline that is produced without the use of any lead additive and that contains no more than 0.05 gram of lead per gallon. EPA interprets section 211(n) this way for the following reasons. The regulatory definition of ``unleaded gasoline’’ also contains a cap on the amount of phosphorus, see 40 CFR 80.2(g), but the phosphorus cap is not relevant to the discussion of section 211(n). Unleaded gasoline that was produced without lead additives may pick up trace amounts of lead as it passes through refinery and transport systems that had previously contained leaded gasoline.
This is the same limit Formula 1 has for its fuels. Formula 1 fuel is unleaded fuel.
The fuel used in F1 cars is fairly similar to ordinary (premium) petrol, albeit with a far more tightly controlled mix. Formula One fuel would fall under high octane premium road fuel with octane thresholds of 95 to 102. Since the 1992 season onwards all Formula One cars must mandatorily utilize unleaded racing gasoline fuel.