Registry · Definition II.D37 established formalized

II.D37 — Evolution Operator

The composition of successive boundary lifts, propagating holomorphic data from stage n to stage m along the primorial tower.

Book II Part 6 Ch. 32

Dependency Graph

Depends on (4)

II.D36 II.T27 II.D35 I.T18

Depended on by (6)

II.D38 II.D49 II.D50 II.L08 II.T28 II.T38

Lean Formalization

Module: TauLib.BookII.Hartogs.EvolutionOperator

Symbol: Tau.BookII.Hartogs.evolution_op