加载中…
Let be an iterable weak coarse premouse and let be a premouse with Mitchell-Steel indexing, produced by a fully backgrounded -construction of . We identify and correct a problem with the process of resurrection used in the proof of iterability of .

生成讲解博客的中文版本

生成AI智能校验的中文版本