一点コンパクト化いってんこんぱくとか<いっ'てん>・こんぱくと・か0

Math.Einpunktkompaktifizierung