Expansion of Several Theorems about Mapping Space

• 映射空间中几个定理的扩展