The ATLAS of Finite Groups is sound – theHigherGeometer
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:…| theHigherGeometer
