Five minutes back and forth with @overleaf claiming it's never heard of \mathbb until I realised I hadn't done \usepackage{amsmath}