Registry · Definition I.D105 tau-effective planned

I.D105 — Tau-Weighted Boundary Constants

pi_tau := pi * iota_tau and e_tau := e * iota_tau: tau-weighted boundary constants for the two lemniscate lobes. pi_tau + e_tau = 2*iota_tau. Ratio pi_tau/e_tau = pi/e encodes lobe asymmetry.

Book I Part 10 Ch. 41

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: