Registry · Proposition IV.P324 framework not_formalized IV.P324 — Non-Zero Neutrino Mass Neutrinos have some mass because: enumerate tau1 and ^2 are coupled in the fibration tau3 = tau1_f^2. Book IV Part 3 Ch. 24