Registry · Theorem
IV.T387
framework
not_formalized
IV.T387 — PMNS: Shared Eigenvector Structure --- V.T174
The -polarity mass matrix M = [[iota_tau^p, iota_tau^q, 0]; [iota_tau^q, iota_tau^r, iota_tau^q]; [0, iota_tau^q,...
Book IV
Part 5
Ch. 35