Since you also asked about alternate proofs of Theorem 1, there is a proof that does not use the localization theorem of a stronger version of the inequality (due to Floyd) in my notes Smith theory and Bredon homology. See Theorem B of those notes.
Andy Putman
- 44.8k
- 14
- 186
- 272