Registry · Theorem II.T14 established formalized

II.T14 — Fundamental Group Degeneration

Fundamental Group Degeneration

Book II Part 3 Ch. 17

Dependency Graph

Depends on (2)

II.T13 II.D18

Lean Formalization

Module: TauLib.BookII.Topology.TorusDegeneration

Symbol: fund_group_check