4 ms·

Here's the original Mastodon post: https://mathstodon.xyz/@andreasthom/117240535270608201 https://mathstodon.xyz/@andreasthom/117240535270608201