Post #1684317

@highergeometer Yeah, all that plus definitions of group and simple and finite. So sure, not as clean that way as my other two examples. But I imagine it can be done in well less than 5,000 pages (or whatever the gen 2 proof will run to when finished).