update in basic_2 and ground_2

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / relocation / rtmap_uni.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.ma b/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.ma
index 5f45b1f2889ff777a82f174b8e262e402cd591b7..247311b3ed0359a5f159effbfa052172383b960d 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.ma
@@ -73,7 +73,7 @@ lemma uni_inv_isid: ∀f. 𝐔❴0❵ ≗ f → 𝐈⦃f⦄.
 
 (* Properties with finite colength assignment ***************************)
 
-lemma fcla_uni: â\88\80n. ð\9d\90\82â¦\83ð\9d\90\94â\9d´nâ\9dµâ¦\84 â\89¡ n.
+lemma fcla_uni: â\88\80n. ð\9d\90\82â¦\83ð\9d\90\94â\9d´nâ\9dµâ¦\84 â\89\98 n.
 #n elim n -n /2 width=1 by fcla_isid, fcla_next/
 qed.