This commit is contained in:
Scott Kostyshak 2020-12-05 19:51:24 -05:00
parent ccc7c641c6
commit f86411e15d

View File

@ -23,7 +23,7 @@
Format 89
Input theorem-counters-bytype.inc
Input theorems-counters-bytype.inc
OutlinerName thm "Definitions & Theorems"