@abcdeffa 感谢投稿，不予通过

@houpingze 感谢投稿，不予通过

@思念前生 感谢投稿，不予通过

说是组合数学，一来就一堆集合定义，这大概算集合论和逻辑？

后面都挺零碎且基础，无法作为学习参考。

@Acfboy 感谢投稿，不予通过，因为这篇文章只专注于编译一个程序的过程，一般编译不同程序过程不同，错误也是千奇百怪；没有描述CMake自身的一些东西，没有普适性。

@邓本永 感谢投稿，

我一向不认同在日报里宣传视频的行为，除非kkk钦定

@Grace25 感谢投稿，由于是空所以不予通过，不过也不要灰心，等到学了更多东西之后再来考虑投日报，或者是做更有意义的事情 @zghtyarecrenj 0-10 suf+打错了 0-11 指代不明 是Theorem不是Theory，大哥

Theorem 1.2.1(2) 为什么要用$b\in \mathcal{L}$ 证明 $b\in \mathcal{L}$ 呢 $b<c$不是$b\in \mathcal{L}$的必要条件吗。而且最后的一句话，这两个难道有因果关系吗，为何用箭头，而且$c$也打成$e$了

Theorem 1.2.3,1.2.4 留给读者证明[惊喜]

Theorem 1.2.5 又打错了

1.3 太简略了不知所云

Ex D一股某人题解的味道

2.1 $\forall u \in \Lambda(u)$ 为什么全是$u$。

大哥，引理叫lemma不是theory

我求求您学学您引的论文是怎么写的吧，不要写阴间东西。您可能字符串水平很高，但是能写点人话吗。

后面搬运的证明倒还好。虽然也有奇怪的点。

我为什么在做这种类似助教的活。。。