According to a sister comment, the paper contains a meta-proof that shows that many of the gaps do not matter in showing the equivalence.[0] I don't know if thi

According to a sister comment, the paper contains a meta-proof that shows that many of the gaps do not matter in showing the equivalence.[0] I don't know if this is true or not, I'm just connecting the discussions. [0] https://news.ycombinator.com/item?id=28473319 https://news.ycombinator.com/item?id=28473319