update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / arith / ynat_lminus.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma b/matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma
index 15e58fd55809d51b2eee55ac68bc048d96ffc215..04cd607c9b2269c4317007342b06b3c85983dc33 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma
+++ b/matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma
@@ -61,7 +61,7 @@ qed.
 
 (* Advanced constructions ***************************************************)
 
-(* yminus_O1 *)
+(*** yminus_O1 *)
 lemma ylminus_zero_sn (n): 𝟎 = 𝟎 - n.
 // qed.