[crvdgc]

This is great. You can easily look up a definition within a definition. No more context switching when trying to find Theorem 17.23, and then Definition 2.7.

[CatsAreCool]

I’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.