3 ms·
> and my understanding of Maria Ines’ talk is that these issues have now been sorted out
by NooneAtAll3 1y ago
> and my understanding of Maria Ines’ talk is that these issues have now been sorted out
- jhanschoo 1y agoI think you are trying to say that this matter has since been resolved and so presumably the whole informal proof somehow resides in literature. I suppose that to the first point you may be right (I'm guessing that it's since been made available), but to the second point I think you are overconfident that similar gaps do not exist. I admit that my original comment was inaccurate, as it seems to suggest that the gap still exists.