theHigherGeometer on Nostr: ok, I wondered if it did (I didn't get a chance to look at the paper) because that's ...

ok, I wondered if it did (I didn't get a chance to look at the paper) because that's the big result in finite groups that gives you an exhaustive case breakdown.