積空間の基本群
, は同型である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。
これを使っている定理 証明で参照している 5 件
- スピン構造の存在と分類✓定理 6.2・Hodge 理論と Laplace–Beltrami 作用素
- Seifert 膜の存在✓定理 4.4・h 同境定理・エキゾチック球面・低次元トポロジーの入口
- 種数 1 の Heegaard 分解とレンズ空間✓命題 8.3・ハンドル分解と手術
- 連結和の基本群✓命題 2.7・ポアンカレ予想 I
- クラス 𝒮 の多様体の基本群✓補題 5.3・ポアンカレ予想 III