Registry · Remark V.R362 tau-effective not_applicable

V.R362 — Why 2/(pi + e)?

iota_tau derived from coherence condition; pi and e arise from spectral theory of circles; 2 reflects the two lemniscate lobes.

Book V Part 8 Ch. 74

Lean Formalization

Module: