this can be done but imo it's tedious annoying stuff and people who are not set theorists do it at most once and forget about it as soon as possible b/c as long as the interface works properly you…

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/QiaochuYuan/status/1422317087549124621