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.
1 to 4 of 4