@Kit_Yates_Maths I'd really like a public spreadsheet listing named theorems or objects, next to alternative names. Might set that up