Measurement of the CP-violating phase ϕs in the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msubsup><mml:mrow><mml:mi mathvariant="normal">B</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">s</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msubsup><mml:mo stretchy="false">→</mml:mo><mml:mi mathvariant="normal">J</mml:mi><mml:mo stretchy="false">/</mml:mo><mml:mi mathvariant="normal">ψ</mml:mi><mml:mspace width="0.2em"/><mml:mi mathvariant="normal">ϕ</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1020</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">→</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">μ</mml:mi></mml:mrow><mml:mrow><mml:mo linebreak="badbreak" linebreakstyle="after">+</mml:mo></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mi mathvariant="normal">μ</mml:mi></mml:mrow><mml:mrow><mml:mo linebreak="badbreak" linebreakstyle="after">−</mml:mo></mml:mrow></mml:msup><mml:mspace width="0.2em"/><mml:msup><mml:mrow><mml:mi mathvariant="normal">K</mml:mi></mml:mrow><mml:mrow><mml:mo linebreak="badbreak" linebreakstyle="after">+</mml:mo></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mi mathvariant="normal">K</mml:mi></mml:mrow><mml:mrow><mml:mo linebreak="badbreak" linebreakstyle="after">−</mml:mo></mml:mrow></mml:msup></mml:math> channel in proton-proton collisions at <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si2.svg"><mml:msqrt><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msqrt><mml:mo linebreak="goodbreak" linebreakstyle="after">=</mml:mo><mml:mn>13</mml:mn><mml:mspace width="0.25em"/><mml:mspace width="0.2em"/><mml:mtext>TeV</mml:mtext></mml:math>