- Commit
- 3f990683edbc5c96f90041f768bf785bd7caf219
- Parent
- a9e9361492c8fa4e867960e9310609c6c87b9ff9
- Author
- Pablo <pablo-escobar@riseup.net>
- Date
Renumbered theorems and definitions
Made it so that all AMS theorem environments use the same counter
Also removed unused theorem environments