Open ischurov opened 2 years ago
It is probably good to highlight the referenced element on hover over the reference: if it's still on screen, no need to click to find the definition or statement of theorem, etc.
It is probably good to highlight the referenced element on hover over the reference: if it's still on screen, no need to click to find the definition or statement of theorem, etc.