Registry · Theorem II.T37 established formalized

II.T37 — Hartogs Extension Uniqueness

Hartogs Extension Uniqueness

Book II Part 9 Ch. 48

Dependency Graph

Depends on (8)

Depended on by (5)

Lean Formalization

Module: TauLib.BookII.CentralTheorem.HartogsExtension

Symbol: Tau.BookII.CentralTheorem.hartogs_uniqueness_check