7 ms·
It was proven in 2002, has a formal definition, so I'm going with calling it a theorem. Maybe this'll help: https://mwhittaker.github.io/blog/an_illustrated_pro
by logophobia 8y ago
It was proven in 2002, has a formal definition, so I'm going with calling it a theorem. Maybe this'll help: https://mwhittaker.github.io/blog/an_illustrated_proof_of_the_cap_theorem/ https://mwhittaker.github.io/blog/an_illustrated_proof_of_th... ?