Registry · Remark V.R488 framework not_formalized V.R488 — The Wick rotation is a chart operation Wick rotation as chart operation in tau Book V Part 7 Ch. 60