Proof (0IG7)
0 tagged blocks link here.
Rune Haugseng, Fabian Hebestreit, Sil Linskens, Joost Nuiten
Original source: arXiv:2011.08808v5