search

ncatlab / nlab

Source code for the nLab
https://ncatlab.org
150 stars 16 forks source link

Not possible to search for definition/theorem numbers #1

Closed adeel closed 10 years ago

adeel commented 10 years ago

See http://nforum.mathforge.org/discussion/6222/searching-for-definitiontheorem-numbers