The ATLAS of Finite Groups is sound

I missed this at the end of last year, but I had been periodically looking to see if it had been done: the last gap in verifying that the ATLAS of Finite Groups is bug-free has been filled! (Added: not formally verified, I might add, just in the old-fashioned sense of the tables being replicated … Continue reading The ATLAS of Finite Groups is sound