some renaming and reordering of variables

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / static / lfeq_lreq.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma b/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma
index 9021fbb75d8faa7497daf7f8806b0594c504fee8..fc902a4a324415cdc8a867862064c16390a7bfcc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma
@@ -25,7 +25,7 @@ qed-.
 
 (* Properties with ranged equivalence for local environments ****************)
 
-lemma lreq_lfeq: ∀L1,L2,T,f. L1 ⊢ 𝐅*⦃T⦄ ≡ f → L1 ≡[f] L2 → L1 ≡[T] L2.
+lemma lreq_lfeq: ∀f,L1,L2,T. L1 ⊢ 𝐅*⦃T⦄ ≡ f → L1 ≡[f] L2 → L1 ≡[T] L2.
 /2 width=3 by ex2_intro/ qed.
 
 (* Advanced properties ******************************************************)