feynlag.verify.checks.seesaw_light_mass¶ feynlag.verify.checks.seesaw_light_mass(M_D, M_R)[source]¶ Type-I seesaw at leading order: m_ν ≈ −M_D M_R⁻¹ M_Dᵀ.