Euclidean black-hole regularity condition (source code)

= Euclidean black-hole regularity condition

Near a nonextremal Euclidean horizon, the radial--time plane is smooth only when Euclidean time has period $\beta_H=4\pi/f'(r_H)$. Any other period produces a conical singularity at the horizon.