101 reputation
bio website
location
age
visits member for 2 years, 3 months
seen Oct 8 at 7:43

Sep
12
comment Theorem numbering error
@egreg It does, just the search didn't throw that up. Should I delete this duplicate?
Sep
12
comment Theorem numbering error
@egreg I wanted it to be 3.0.1. I can see now that the counter was not reset from the previous section. I guess I will have to do that manually.