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