[Previous] [Next] [Current]
XKCD: 3201
2026-1-30

Proof Without Content

Abstract

There's also a proof without content of a conjecture without content, but it's left as an exercise for the reader.