Registry · Proposition IV.P309 tau-effective not_formalized IV.P309 — Leading Exponent At s = 4, the Epstein zeta function evaluated at = iiota_tau has: equation Z(4; iiota_tau) iota_tau^-7 Book IV Part 2 Ch. 20