[opentheory-users] names of theorems

[Ramana Kumar]

Does OpenTheory have any notion of a theorem's name?
As far as I can see we have names for constants (including type
operators) and theories (i.e. packages), but not theorems.
I suppose the statement of the theorem is a good identifier in many
ways, especially if there is good term matching software available.
Natural language names can be mnemonic though.