[EM] Some utility results for resistant set methods

[Kristofer Munsterhjelm]

On 2024-07-27 22:03, Closed Limelike Curves wrote:
> This is great, thanks for your work on this km!
> 
> I'm a bit confused on the IRV results—doesn't IRV already elect from the 
> resistant set?

Yes, both IRV and Smith,IRV do. The IRV results are intended to show:

- Smith,IRV is better than plain IRV (as expected), and
- There exist other resistant set methods that are better than Smith,IRV.

-km