Anonymous I need a suggestion for the name of this Appendix Just something like 'Formal Theorems' or 'Detailed/Complete Theorems' seems clear and sufficient to me.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
AnonymousI need a suggestion for the name of this AppendixJust something like 'Formal Theorems' or 'Detailed/Complete Theorems' seems clear and sufficient to me.