3 ms·https://mathstodon.xyz/@tao/117244104044239500 https://mathstodon.xyz/@tao/117244104044239500by o4c 24d agohttps://mathstodon.xyz/@tao/117244104044239500 https://mathstodon.xyz/@tao/117244104044239500