`BookProof.SmDiracYukawa.yukawa_entry_bound` {UL V UR D : Matrix (Fin 3) (Fin 3) ℂ} (hUL : IsMixing UL) (hV : IsMixing V) (hUR : IsMixing UR) (hD : ∀ k l, k ≠ l → D k l = 0) (i j :

Initializing...

`BookProof.SmDiracYukawa.yukawa_entry_bound` {UL V UR D : Matrix (Fin 3) (Fin 3) ℂ} (hUL : IsMixing UL) (hV : IsMixing V) (hUR : IsMixing UR) (hD : ∀ k l, k ≠ l → D k l = 0) (i j : · Prove2Me