Registry · Definition IV.D525 established not_formalized

IV.D525 — NF-Discrete Tower

An NF-discrete tower on tau3 is a sequence of modes \f_n\_n 0 in the holomorphic Hilbert space H_ such that: enumerate

Book IV Part 4 Ch. 31