| ▲ | Connes Embedding Problem(en.wikipedia.org) | |
| 9 points by jerlendds 2 days ago | 1 comments | ||
| ▲ | gsf_emergency_6 an hour ago | parent [-] | |
https://leanprover-community.github.io/mathlib_docs/analysis... First person account of how it was disproved https://mycqstate.wordpress.com/2020/01/14/a-masters-project... | ||