This market "Yes" if Red Bull (Oracle Red Bull Racing) are the constructor that wins the most total points in the Australian Grand Prix according to https://www.formula1.com/. It will resolve "No" otherwise. This is not necessarily the constructor of the car that comes in 1st, since 2nd and 3rd place add up to more than 1st.