Repeat: This project exceeded previous mathematical endeavours by its sheer size, in both length of proof and number of researchers.
This project exceeded previous mathematical endeavours by its sheer size, in both length of proof and number of researchers.