Registry · Definition II.D27 established formalized

II.D27 — Geometric-Topological Unification

Geometric-Topological Unification

Book II Part 5 Ch. 24

Dependency Graph

Depends on (2)

II.D26 II.T21

Lean Formalization

Module: TauLib.BookII.Transcendentals.Circles

Symbol: geo_topo_unify