If you are using wholesaling as a strategy, this is definitely not a deal. You would usually use wholesaling as a means with distressed property, motivated sellers, or highly discounted property's. If he completely renovated it out, he would be selling a turnkey property (to a rental investor) or a dwelling home (to a retail buyer).
Also since he renovated it out, it is already at ARV, so you can't really ask for him to be selling at a discount. The formula using .65 is showing the price at which (35%) equity would be taken out, in order for fixers/flippers to pull profit from.
If your end goal is to get the 10k difference from your projected ARV comps, I would go over the motion and figure out the COC return/ cash flow of the property. But even then if it profits enough, I would just keep the property for my portfolio.
Overall, there isn't a lot of profit to be made in this deal. He should just sell it retail value, which he seemingly is but that is just speculation.