If I’m reading a paper and I want to try to rewrite the content in a math programming language like Sage, I’d like to search from within Sage for objects they have corresponding to a certain name, like “homological invariant”. It would be cool if objects were like Python libraries - they had internal functions and attributes, but also a natural language help doc explaining what they were.
Is there any way to search inside Sage for a certain object they might have?