Citation: 4A_238/2020 E. 9

Les recourants ne mettent pas autrement en doute la validité du congé signifié le 25 août 2016. Ils ne mettent pas non plus en doute qu'en conséquence de la fin du contrat, l'art. 267 al. 1 CO autorise la bailleresse à exiger la restitution de l'appartement. Le recours en matière civile se révèle privé de fondement, ce qui conduit à son rejet. A titre de parties qui succombent, ses auteurs doivent acquitter l'émolument à percevoir par le Tribunal fédéral et les dépens auxquels l'intimée Y.________ peut prétendre pour avoir pris position sur la demande d'effet suspensif. Par ces motifs, le Tribunal fédéral prononce :