[–] gsf_emergency_6 7mo ago ↗ https://leanprover-community.github.io/mathlib_docs/analysis...First person account of how it was disprovedhttps://mycqstate.wordpress.com/2020/01/14/a-masters-project...
2 comments
[ 3.7 ms ] story [ 14.2 ms ] threadFirst person account of how it was disproved
https://mycqstate.wordpress.com/2020/01/14/a-masters-project...