Text this: Measurement of the top quark mass from top quarks produced in proton-proton collisions at √s = 13 TeV that decay to dimuons via a J/ψ