The user now has a deleted account - whoever deleted it probably missed that they edited this post. After the next SEDE update, it might be worth checking whether some actions by this user still remain on site:
data.stackexchange.com/mathoverflow/query/1333512/…