- [[yog]] https://mathstodon.xyz/@yog/109254117335378845
- [[yog]] https://mathstodon.xyz/@yog/109268495443098449
- [[yog]] https://mathstodon.xyz/@yog/109268827489367110