Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Is there a bug in the handling of theorem numbering? The last paragraph of this page refers to "Theorem 3" but it should really be "Theorem 6."
Oh, I think I have an idea why... Theorem 6 is the sixth .num_theorem, but only the third such theorem that has a #label assigned to it.
transferred to another thread in the nLab Technical Matters category.
I guess that perhaps you were looking for this thread Tim?
I searched for Bugs and somehow missed that thread.
1 to 7 of 7