Blue: WNBA Draft No. 1 Picks
第二百三十八条 下列人员对本节规定的燃油污染损害不承担赔偿责任，但是损害是因其本人故意或者明知可能造成损害而轻率地作为或者不作为造成的除外：
，这一点在wps中也有详细论述
Российский врач вернется к работе после истекшей кровью пациентки14:48
In our case, the translation \(\texttt{Target}_{\texttt{Lean}}\) is \(a\) (of type \(A\)), and the theorem statement \(\texttt{Src}_{\texttt{Rocq}} \cong \texttt{rocq-lean-import}(\texttt{Target}_{\texttt{Lean}})\) is \(B(a)\). ↩︎