跳转到内容

inductive limit space