单纯逼近存在原理

• existence theorem of simplicial approximation