Natural mapping on groups of selfhomotopic equivalence of hyperformal spaces have finiteness

• 超形式空间自同伦等价群上自然映射的有限性