electroweak mixing angle

In this notebook, supplementary calculations are made which appear in the article https://arxiv.org/abs/2401.03243