Redirecting to Tomita–Takesaki theory