https://mathstodon.xyz/@sergiosh/116847266951670037 https://mathstodon.xyz/@sergiosh/116847266951670037 https://mathstodon.xyz/@sergiosh/116976232522229829 http

https://mathstodon.xyz/@sergiosh/116847266951670037 https://mathstodon.xyz/@sergiosh/116847266951670037 https://mathstodon.xyz/@sergiosh/116976232522229829 https://mathstodon.xyz/@sergiosh/116976232522229829 Look at this two threads.