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

Dependency Graph

Depends on (3)