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.
The problem was the use of mathematics inside the theorem ’naming’. I removed it from Theorem 2.7, and also moved the link to the May recognition theorem to the surrounding text for Theorem 2.8.
As we’re currently hard at work with an ’nLab 2’ software wise (https://github.com/ncatlab/nlab-core), I’ll not dig into this for now, as it’s not something that crops up often, and can always be solved by just using the surrounding text instead.
1 to 2 of 2