Registry · Proposition IV.P310 tau-effective not_formalized IV.P310 — Lemniscate Capacity The lemniscate capacity is: equation cap(L) = 3. equation Book IV Part 2 Ch. 20