Darf ein Profi-Fußballer aus Angst vor Corona streiken?

Noch steht gar nicht fest, ob und wann die Bundesliga die Saison fortsetzt. Wie sieht es rechtlich aus? Müssen Profis trotz Corona-Pandemie spielen?