Comment Comment by davis Here they are: https://mathstodon.xyz/@tao/114881419368778558 parent davis 1 year ago
