The naming system is pretty compact but also very standardized and reliable, which is important when organizing more than 10000 theorems. That one breaks down a

The naming system is pretty compact but also very standardized and reliable, which is important when organizing more than 10000 theorems. That one breaks down as "re + add + cl + i" for "the REals are CLosed under ADDition, Inference form". You can also mouse over the theorem name links to see a short description.