Remix.run Logo
Fermat's last theorem in the natural ring of ordinals(infinitelymore.xyz)
3 points by FillMaths 12 hours ago