Reproducing P. Aluffi's Definition/Theorem style
35300
How do I make all the theorem-alike environments have an ending symbol?
22824
How to know if something is a primitive concept, a law, a definition or a theorem
109964
the converse of Pythagoras Theorem
89851
Has any previously unknown result been proven by an automated theorem prover?
98559
subtlety of self-defined function and its evaluation
95864
beamer: Different numbering for Theorems, Examples, Definition, and Lemma
76344
Reference for creative set criterion theorem
57545
Dini's Theorem - Proof.
157213
Application of Luca's theorem
4196
A valid proof for the invariance of domain theorem?
115663
Proving an isomorphism using the isomorphism theorems
5426
Preserving signatures of decorated functions
34938
Recalling a theorem
11841
Introduction to proofs with a fair amount of hand-holding?
26894
Series Divergence - Apostol Calculus Vol I, Section 10.20 #7
28109
Conjectural closed-form representations of sums, products or integrals
96904
Predicate Calculus Practice