- [[yog]] https://mathstodon.xyz/@yog/109251783880266314
- [[yog]] https://mathstodon.xyz/@yog/109254274937308943
- [[yog]] https://mathstodon.xyz/@yog/109254498343419293
- [[yog]] https://mathstodon.xyz/@yog/109255080159575505