Box-thm
编号
-
definition, lemma, theorem, corollary
-
example
无编号
- proof, idea, remark, fact
Definition/Lemma/Theorem/Corollary
Def
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Def
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Lem
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Lem
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Thm
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Thm
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Cor
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Cor
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Example
Ex
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Ex
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Proof/Idea/Remark/Fact
Proof
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Proof
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Idea
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Idea
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Remark
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Remark
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Fact
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Fact
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test
Test
test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test test