Measurement of the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msubsup><mml:mrow><mml:mtext>B</mml:mtext></mml:mrow><mml:mrow><mml:mtext>s</mml:mtext></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msubsup><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:math> decay properties and search for the B0 → μ+μ− decay 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.2em"/><mml:mtext>TeV</mml:mtext></mml:math>