3 ms·https://mathstodon.xyz/@tao https://mathstodon.xyz/@taoby SkyMarshal 3y agohttps://mathstodon.xyz/@tao https://mathstodon.xyz/@tao