We aim to collect buried lemmas that are useful for proofs. In particular, we try to provide self-contained proofs for those lemmas and categorise them according to their usage.

翻译：我们的目标是收集用于证明的埋藏的麻麻,特别是,我们试图为这些麻麻提供自足的证明,并根据它们的用法进行分类。