Registry · Definition II.D67 established formalized

II.D67 — E1 Export Package

The complete collection of structures Book II delivers to Book III: categorical structure, topology, geometry, holomorphy, Central Theorem, enrichment, exterior derivative, and Code/Decode.

Book II Part 10 Ch. 57

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookII.Closure.ForwardBook3

Symbol: Tau.BookII.Closure.E1ExportPackage