layouts: s/theorem-counters/theorems-counters/

Amends ccc7c641.
This commit is contained in:
Scott Kostyshak 2020-12-13 13:25:41 -05:00
parent 148748b0c2
commit 9602d24039
4 changed files with 4 additions and 4 deletions

View File

@ -25,7 +25,7 @@
Format 89
Input theorem-counters-bytype.inc
Input theorems-counters-bytype.inc
Counter theorem
Within chapter

View File

@ -14,7 +14,7 @@
Format 89
Input theorem-counters-bytype.inc
Input theorems-counters-bytype.inc
Input theorems-bytype.inc
Input theorems-proof.inc

View File

@ -14,7 +14,7 @@
Format 89
Input theorem-counters-bytype.inc
Input theorems-counters-bytype.inc
Counter theorem
Within chapter

View File

@ -14,7 +14,7 @@
Format 89
Input theorem-counters-bytype.inc
Input theorems-counters-bytype.inc
Counter theorem
Within section