fix

math-comp · Dec 27, 2023 · 77b96b7 · 77b96b7
1 parent 822e624
commit 77b96b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/charge.v b/theories/charge.v
@@ -1793,7 +1793,7 @@ Definition Radon_Nikodym : T -> \bar R :=
   | left nu_mu => sval (cid (Radon_Nikodym0 nu_mu))
   | right _ => cst -oo
   end.
-xxx
+
 Lemma Radon_NikodymE (numu : nu `<< mu) :
   Radon_Nikodym = sval (cid (Radon_Nikodym0 numu)).
 Proof.