Is there any way to show all theorems with a certain attribute? For example all theorems with the
My "solution" would be grep; but there might be something built-in I'm not aware of
I believe the answer is 'no'.
For standard collections of named theorems, you can do
but for attributes that handle things on their own like
there shouldn't be a way since attributes are just arbitrary code in the end.
Last updated: Dec 07 2023 at 08:19 UTC